package octez-proto-libs

  1. Overview
  2. Docs

Parameters

module Param : sig ... end

Signature

include Tezos_protocol_environment_sigs.V0.T with type Format.formatter = Format.formatter and type 'a Data_encoding.t = 'a Tezos_base.TzPervasives.Data_encoding.t and type 'a Data_encoding.lazy_t = 'a Tezos_base.TzPervasives.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.Hashed.Chain_id.t and type Block_hash.t = Tezos_crypto.Hashed.Block_hash.t and type Operation_hash.t = Tezos_crypto.Hashed.Operation_hash.t and type Operation_list_hash.t = Tezos_crypto.Hashed.Operation_list_hash.t and type Operation_list_list_hash.t = Tezos_crypto.Hashed.Operation_list_list_hash.t and type Context.t = Tezos_protocol_environment__.Environment_context.Context.t and type Context_hash.t = Tezos_crypto.Hashed.Context_hash.t and type Protocol_hash.t = Tezos_crypto.Hashed.Protocol_hash.t and type Time.t = Tezos_base.TzPervasives.Time.Protocol.t and type MBytes.t = Tezos_protocol_environment_structs.V0.MBytes.t and type Operation.shell_header = Tezos_base.TzPervasives.Operation.shell_header and type Operation.t = Tezos_base.TzPervasives.Operation.t and type Block_header.shell_header = Tezos_base.TzPervasives.Block_header.shell_header and type Block_header.t = Tezos_base.TzPervasives.Block_header.t and type 'a RPC_directory.t = 'a Tezos_rpc.Directory.t and type Ed25519.Public_key_hash.t = Tezos_base.TzPervasives.Signature.Ed25519.Public_key_hash.t and type Ed25519.Public_key.t = Tezos_base.TzPervasives.Signature.Ed25519.Public_key.t and type Ed25519.t = Tezos_base.TzPervasives.Signature.Ed25519.t and type Secp256k1.Public_key_hash.t = Tezos_base.TzPervasives.Signature.Secp256k1.Public_key_hash.t and type Secp256k1.Public_key.t = Tezos_base.TzPervasives.Signature.Secp256k1.Public_key.t and type Secp256k1.t = Tezos_base.TzPervasives.Signature.Secp256k1.t and type P256.Public_key_hash.t = Tezos_base.TzPervasives.Signature.P256.Public_key_hash.t and type P256.Public_key.t = Tezos_base.TzPervasives.Signature.P256.Public_key.t and type P256.t = Tezos_base.TzPervasives.Signature.P256.t and type Signature.public_key_hash = Tezos_base.TzPervasives.Signature.V0.public_key_hash and type Signature.public_key = Tezos_base.TzPervasives.Signature.V0.public_key and type Signature.t = Tezos_base.TzPervasives.Signature.V0.t and type Signature.watermark = Tezos_base.TzPervasives.Signature.V0.watermark 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 = Tezos_base.TzPervasives.Data_encoding.json_schema and type ('a, 'b) RPC_path.t = ('a, 'b) Tezos_rpc.Path.t and type RPC_service.meth = Tezos_rpc.Service.meth and type (+'m, 'pr, 'p, 'q, 'i, 'o) RPC_service.t = ('m, 'pr, 'p, 'q, 'i, 'o) Tezos_rpc.Service.t and type Error_monad.shell_error = Tezos_base.TzPervasives.Error_monad.error with type Updater.validation_result = Tezos_protocol_environment__.Environment_context.validation_result with type Updater.quota = Tezos_protocol_environment__.Environment_context.quota with type Updater.rpc_context = Tezos_protocol_environment__.Environment_context.rpc_context
module Pervasives : sig ... end

The initially opened module.

module List : sig ... end

List operations.

module String : sig ... end

String operations.

module Int32 : sig ... end

32-bit integers.

module Int64 : sig ... end

64-bit integers.

module Format : sig ... end

Pretty-printing.

module MBytes : sig ... end
module Z : sig ... end

Tezos Protocol Environment - Arbitrary precision arithmetic.

module Lwt : sig ... end

Module Lwt: cooperative light-weight threads.

module Lwt_list : sig ... end

List helpers

module Raw_hashes : sig ... end
module Compare : sig ... end
module Data_encoding : sig ... end
module Error_monad : sig ... end

Tezos Protocol Implementation - Error Monad

module Logging : sig ... end
module Time : sig ... end
module Option : 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 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 Micheline : sig ... end
module Block_header : sig ... end
module Fitness : sig ... end
module Operation : sig ... end

Tezos operations.

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
module Lift (P : Updater.PROTOCOL) : sig ... end
class ['chain, 'block] proto_rpc_context : Tezos_rpc.Context.t -> (unit, (unit * 'chain) * 'block) RPC_path.t -> ('chain * 'block) RPC_context.simple
OCaml

Innovation. Community. Security.