Make (mavkit-proto-libs.Mavryk_protocol

Parameters

module Param : sig ... end

Signature

include Mavryk_protocol_environment_sigs.V0.T
  with type Format.formatter = Stdlib.Format.formatter
   and type 'a Data_encoding.t = 'a Mavryk_base.TzPervasives.Data_encoding.t
   and type 'a Data_encoding.lazy_t =
         'a Mavryk_base.TzPervasives.Data_encoding.lazy_t
   and type 'a Lwt.t = 'a Lwt.t
   and type ('a, 'b) Pervasives.result = ('a, 'b) Stdlib.result
   and type Chain_id.t = Mavryk_crypto.Hashed.Chain_id.t
   and type Block_hash.t = Mavryk_crypto.Hashed.Block_hash.t
   and type Operation_hash.t = Mavryk_crypto.Hashed.Operation_hash.t
   and type Operation_list_hash.t = Mavryk_crypto.Hashed.Operation_list_hash.t
   and type Operation_list_list_hash.t =
         Mavryk_crypto.Hashed.Operation_list_list_hash.t
   and type Context.t =
         Mavryk_protocol_environment__.Environment_context.Context.t
   and type Context_hash.t = Mavryk_crypto.Hashed.Context_hash.t
   and type Protocol_hash.t = Mavryk_crypto.Hashed.Protocol_hash.t
   and type Time.t = Mavryk_base.TzPervasives.Time.Protocol.t
   and type MBytes.t = Mavryk_protocol_environment_structs.V0.MBytes.t
   and type Operation.shell_header =
         Mavryk_base.TzPervasives.Operation.shell_header
   and type Operation.t = Mavryk_base.TzPervasives.Operation.t
   and type Block_header.shell_header =
         Mavryk_base.TzPervasives.Block_header.shell_header
   and type Block_header.t = Mavryk_base.TzPervasives.Block_header.t
   and type 'a RPC_directory.t = 'a Mavryk_rpc.Directory.t
   and type Ed25519.Public_key_hash.t =
         Mavryk_base.TzPervasives.Signature.Ed25519.Public_key_hash.t
   and type Ed25519.Public_key.t =
         Mavryk_base.TzPervasives.Signature.Ed25519.Public_key.t
   and type Ed25519.t = Mavryk_base.TzPervasives.Signature.Ed25519.t
   and type Secp256k1.Public_key_hash.t =
         Mavryk_base.TzPervasives.Signature.Secp256k1.Public_key_hash.t
   and type Secp256k1.Public_key.t =
         Mavryk_base.TzPervasives.Signature.Secp256k1.Public_key.t
   and type Secp256k1.t = Mavryk_base.TzPervasives.Signature.Secp256k1.t
   and type P256.Public_key_hash.t =
         Mavryk_base.TzPervasives.Signature.P256.Public_key_hash.t
   and type P256.Public_key.t =
         Mavryk_base.TzPervasives.Signature.P256.Public_key.t
   and type P256.t = Mavryk_base.TzPervasives.Signature.P256.t
   and type Signature.public_key_hash =
         Mavryk_base.TzPervasives.Signature.V0.public_key_hash
   and type Signature.public_key =
         Mavryk_base.TzPervasives.Signature.V0.public_key
   and type Signature.t = Mavryk_base.TzPervasives.Signature.V0.t
   and type Signature.watermark =
         Mavryk_base.TzPervasives.Signature.V0.watermark
   and type 'a Micheline.canonical = 'a Mavryk_micheline.Micheline.canonical
   and type Z.t = Z.t
   and type ('a, 'b) Micheline.node = ('a, 'b) Mavryk_micheline.Micheline.node
   and type Data_encoding.json_schema =
         Mavryk_base.TzPervasives.Data_encoding.json_schema
   and type ('a, 'b) RPC_path.t = ('a, 'b) Mavryk_rpc.Path.t
   and type RPC_service.meth = Mavryk_rpc.Service.meth
   and type (+'m, 'pr, 'p, 'q, 'i, 'o) RPC_service.t =
         ('m, 'pr, 'p, 'q, 'i, 'o) Mavryk_rpc.Service.t
   and type Error_monad.shell_error =
         Mavryk_base.TzPervasives.Error_monad.error
  with type Updater.quota =
         Mavryk_protocol_environment__.Environment_context.quota
  with type Updater.rpc_context =
         Mavryk_protocol_environment__.Environment_context.rpc_context

module CamlinternalFormatBasics : 
  module type of struct include Mavryk_protocol_environment_sigs_internals.CamlinternalFormatBasics end

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

Mavryk 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

Mavryk 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

Mavryk - Ed25519 cryptography

module Secp256k1 : sig ... end

Mavryk - Secp256k1 cryptography

module P256 : sig ... end

Mavryk - 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

Mavryk 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

Mavryk Protocol Environment - Protocol updater.

module RPC_context : sig ... end

type Mavryk_base.TzPervasives.error +=

| Ecoproto_error of Error_monad.error

val wrap_error : 
  'a Error_monad.tzresult ->
  'a Mavryk_base.TzPervasives.tzresult

module Lift (P : Updater.PROTOCOL) : sig ... end

class ['chain, 'block] proto_rpc_context : Mavryk_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