package tezos-protocol-environment
include Tezos_protocol_environment_sigs.V0.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 MBytes.t = Tezos_protocol_environment_structs.V0.M.MBytes.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 '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
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 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
val wrap_error :
'a Error_monad.tzresult ->
('a, Tezos_error_monad.TzCore.error list) result
module Lift
(P : Updater.PROTOCOL) :
Environment_protocol_T.PROTOCOL
with type block_header_data = P.block_header_data
and type block_header_metadata = P.block_header_metadata
and type block_header = P.block_header
and type operation_data = P.operation_data
and type operation_receipt = P.operation_receipt
and type operation = P.operation
and type validation_state = P.validation_state
class ['chain, 'block] proto_rpc_context : Tezos_rpc.RPC_context.t -> (unit, (unit * 'chain) * 'block) RPC_path.t ->
('chain * 'block)
RPC_context.simple
class 'block proto_rpc_context_of_directory : ('block ->
RPC_context.t) -> RPC_context.t RPC_directory.t -> 'block RPC_context.simple
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>