package octez-shell-libs

  1. Overview
  2. Docs
package octez-shell-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Env : Tezos_protocol_environment.V6.T
module Proto : Env.Updater.PROTOCOL
module Source : sig ... end

Signature

include Tezos_protocol_environment.PROTOCOL with type block_header_data = Proto.block_header_data with type operation_data = Proto.operation_data with type operation = Proto.operation with type operation_receipt = Proto.operation_receipt with type validation_state = Proto.validation_state
val max_block_length : int
val max_operation_data_length : int
val validation_passes : Tezos_protocol_environment__.Environment_context.quota list
type block_header_data = Proto.block_header_data
type block_header = {
  1. shell : Tezos_base.TzPervasives.Block_header.shell_header;
  2. protocol_data : block_header_data;
}
type block_header_metadata
val block_header_metadata_encoding_with_legacy_attestation_name : block_header_metadata Tezos_base.TzPervasives.Data_encoding.t
type operation_data = Proto.operation_data
type operation_receipt = Proto.operation_receipt
type operation = Proto.operation = {
  1. shell : Tezos_base.TzPervasives.Operation.shell_header;
  2. protocol_data : operation_data;
}
val operation_data_encoding_with_legacy_attestation_name : operation_data Tezos_base.TzPervasives.Data_encoding.t
val operation_receipt_encoding_with_legacy_attestation_name : operation_receipt Tezos_base.TzPervasives.Data_encoding.t
val operation_data_and_receipt_encoding : (operation_data * operation_receipt) Tezos_base.TzPervasives.Data_encoding.t
val operation_data_and_receipt_encoding_with_legacy_attestation_name : (operation_data * operation_receipt) Tezos_base.TzPervasives.Data_encoding.t
val acceptable_pass : operation -> int option
type validation_state = Proto.validation_state
type application_state
type mode =
  1. | Application of block_header
  2. | Partial_validation of block_header
  3. | Construction of {
    1. predecessor_hash : Tezos_crypto.Hashed.Block_hash.t;
    2. timestamp : Tezos_base.TzPervasives.Time.Protocol.t;
    3. block_header_data : block_header_data;
    }
  4. | Partial_construction of {
    1. predecessor_hash : Tezos_crypto.Hashed.Block_hash.t;
    2. timestamp : Tezos_base.TzPervasives.Time.Protocol.t;
    }
val finalize_application : application_state -> Tezos_base.TzPervasives.Block_header.shell_header option -> (Tezos_protocol_environment__.Environment_context.validation_result * block_header_metadata) Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t
val rpc_services : Tezos_protocol_environment__.Environment_context.rpc_context Tezos_rpc.Directory.t
val init : Tezos_crypto.Hashed.Chain_id.t -> Tezos_protocol_environment__.Environment_context.Context.t -> Tezos_base.TzPervasives.Block_header.shell_header -> Tezos_protocol_environment__.Environment_context.validation_result Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t
val value_of_key : chain_id:Tezos_crypto.Hashed.Chain_id.t -> predecessor_context: Tezos_protocol_environment__.Environment_context.Context.t -> predecessor_timestamp:Tezos_base.TzPervasives.Time.Protocol.t -> predecessor_level:Stdlib.Int32.t -> predecessor_fitness:Tezos_base.TzPervasives.Fitness.t -> predecessor:Tezos_crypto.Hashed.Block_hash.t -> timestamp:Tezos_base.TzPervasives.Time.Protocol.t -> (Tezos_protocol_environment__.Environment_context.Context.Cache.key -> Tezos_protocol_environment__.Environment_context.Context.Cache.value Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t) Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t
val set_log_message_consumer : (Tezos_base.TzPervasives.Internal_event.level -> string -> unit) -> unit
val expected_context_hash : Tezos_protocol_environment__.Environment_context.header_context_hash_semantics
val begin_validation : Tezos_protocol_environment__.Environment_context.Context.t -> Tezos_crypto.Hashed.Chain_id.t -> mode -> predecessor:Tezos_base.TzPervasives.Block_header.shell_header -> cache: Tezos_protocol_environment__.Environment_context.Context.source_of_cache -> validation_state Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t
val begin_application : Tezos_protocol_environment__.Environment_context.Context.t -> Tezos_crypto.Hashed.Chain_id.t -> mode -> predecessor:Tezos_base.TzPervasives.Block_header.shell_header -> cache: Tezos_protocol_environment__.Environment_context.Context.source_of_cache -> application_state Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t
module Mempool : sig ... end
val complete_b58prefix : Tezos_protocol_environment.Context.t -> string -> string list Lwt.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct