package tezos-protocol-environment

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Param : sig ... end

Signature

include Tezos_protocol_environment_sigs.V1.T with type Format.formatter = Format.formatter and type 'a Data_encoding.t = 'a Data_encoding.t and type 'a Data_encoding.lazy_t = 'a Data_encoding.lazy_t and type 'a Lwt.t = 'a Lwt.t and type ('a, 'b) Pervasives.result = ('a, 'b) result and type Chain_id.t = Tezos_crypto.Chain_id.t and type Block_hash.t = Tezos_crypto.Block_hash.t and type Operation_hash.t = Tezos_crypto.Operation_hash.t and type Operation_list_hash.t = Tezos_crypto.Operation_list_hash.t and type Operation_list_list_hash.t = Tezos_crypto.Operation_list_list_hash.t and type Context.t = Environment_context.Context.t and type Context_hash.t = Tezos_crypto.Context_hash.t and type Protocol_hash.t = Tezos_crypto.Protocol_hash.t and type Time.t = Tezos_base.Time.Protocol.t and type Operation.shell_header = Tezos_base.Operation.shell_header and type Operation.t = Tezos_base.Operation.t and type Block_header.shell_header = Tezos_base.Block_header.shell_header and type Block_header.t = Tezos_base.Block_header.t and type 'a RPC_directory.t = 'a Tezos_rpc.RPC_directory.t and type Ed25519.Public_key_hash.t = Tezos_crypto.Ed25519.Public_key_hash.t and type Ed25519.Public_key.t = Tezos_crypto.Ed25519.Public_key.t and type Ed25519.t = Tezos_crypto.Ed25519.t and type Secp256k1.Public_key_hash.t = Tezos_crypto.Secp256k1.Public_key_hash.t and type Secp256k1.Public_key.t = Tezos_crypto.Secp256k1.Public_key.t and type Secp256k1.t = Tezos_crypto.Secp256k1.t and type P256.Public_key_hash.t = Tezos_crypto.P256.Public_key_hash.t and type P256.Public_key.t = Tezos_crypto.P256.Public_key.t and type P256.t = Tezos_crypto.P256.t and type Signature.public_key_hash = Tezos_crypto.Signature.public_key_hash and type Signature.public_key = Tezos_crypto.Signature.public_key and type Signature.t = Tezos_crypto.Signature.t and type Signature.watermark = Tezos_crypto.Signature.watermark and type Pvss_secp256k1.Commitment.t = Tezos_crypto.Pvss_secp256k1.Commitment.t and type Pvss_secp256k1.Encrypted_share.t = Tezos_crypto.Pvss_secp256k1.Encrypted_share.t and type Pvss_secp256k1.Clear_share.t = Tezos_crypto.Pvss_secp256k1.Clear_share.t and type Pvss_secp256k1.Public_key.t = Tezos_crypto.Pvss_secp256k1.Public_key.t and type Pvss_secp256k1.Secret_key.t = Tezos_crypto.Pvss_secp256k1.Secret_key.t and type 'a Micheline.canonical = 'a Tezos_micheline.Micheline.canonical and type Z.t = Z.t and type ('a, 'b) Micheline.node = ('a, 'b) Tezos_micheline.Micheline.node and type Data_encoding.json_schema = Data_encoding.json_schema and type ('a, 'b) RPC_path.t = ('a, 'b) Tezos_rpc.RPC_path.t and type RPC_service.meth = Tezos_rpc.RPC_service.meth and type (+'m, 'pr, 'p, 'q, 'i, 'o) RPC_service.t = ('m, 'pr, 'p, 'q, 'i, 'o) Tezos_rpc.RPC_service.t and type Error_monad.shell_error = Tezos_error_monad.TzCore.error and module Sapling = Tezos_sapling.Core.Validator with type Context.t = Environment_context.Context.t with type Updater.validation_result = Environment_context.validation_result with type Updater.quota = Environment_context.quota with type Updater.rpc_context = Environment_context.rpc_context
module Pervasives : sig ... end

The OCaml Standard library.

module List : sig ... end

List operations.

module String : sig ... end

String operations.

module Char : sig ... end

Character operations.

module Bytes : sig ... end

Byte sequence operations.

module Int32 : sig ... end

32-bit integers.

module Int64 : sig ... end

64-bit integers.

module Format : sig ... end

Pretty-printing.

module Hex : sig ... end

Hexadecimal encoding.

module Z : sig ... end

Integers.

module Lwt : sig ... end
module Lwt_list : sig ... end

List helpers

module Data_encoding : sig ... end
module Raw_hashes : sig ... end
module Compare : sig ... end
module Error_monad : sig ... end
module Logging : sig ... end
module Time : sig ... end
module Option : sig ... end

Option values.

module TzEndian : sig ... end
module RPC_arg : sig ... end
module RPC_path : sig ... end
module RPC_query : sig ... end
module RPC_service : sig ... end
module RPC_answer : sig ... end
module RPC_directory : sig ... end
module Base58 : sig ... end
module S : sig ... end
module Set : sig ... end

Sets over ordered types.

module Map : sig ... end

Association tables over ordered types.

module Blake2B : sig ... end

Builds a new Hash type using Blake2B.

module Bls12_381 : sig ... end
module Ed25519 : sig ... end

Tezos - Ed25519 cryptography

module Secp256k1 : sig ... end

Tezos - Secp256k1 cryptography

module P256 : sig ... end

Tezos - P256 cryptography

module Chain_id : sig ... end
module Signature : sig ... end
module Block_hash : sig ... end
module Operation_hash : sig ... end
module Operation_list_hash : sig ... end
module Operation_list_list_hash : sig ... end
module Protocol_hash : sig ... end
module Context_hash : sig ... end
module Pvss_secp256k1 : sig ... end

Tezos - PVSS Secp256k1 cryptography

module Micheline : sig ... end
module Block_header : sig ... end
module Fitness : sig ... end
module Operation : sig ... end

Tezos operations.

module Protocol : sig ... end
module Context : sig ... end

View over the context store, restricted to types, access and functional manipulation of an existing context.

module Updater : sig ... end

Tezos Protocol Environment - Protocol updater.

module RPC_context : sig ... end
type Tezos_base__TzPervasives.error +=
  1. | Ecoproto_error of Error_monad.error
class ['chain, 'block] proto_rpc_context : Tezos_rpc.RPC_context.t -> (unit, (unit * 'chain) * 'block) RPC_path.t -> ('chain * 'block) RPC_context.simple