package tezos-protocol-environment

  1. Overview
  2. Docs
package tezos-protocol-environment
Legend:
Library
Module
Module type
Parameter
Class
Class type

An implementation of Tezos_protocol_environment.PROTOCOL used in tests. It sets all types to unit and implement all functions as assert false. Users of this module should include it and override the functions they need.

include Environment_protocol_T.T with type context := Environment_context.Context.t and type quota := Environment_context.quota and type validation_result := Environment_context.validation_result and type rpc_context := Environment_context.rpc_context and type 'a tzresult := ('a, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result and type cache_key := Environment_context.Context.Cache.key and type cache_value := Environment_context.Context.Cache.value with type block_header_data = unit with type operation_data = unit with type operation_receipt = unit with type validation_state = unit
include Environment_protocol_T_V3.T with type context := Environment_context.Context.t with type quota := Environment_context.quota with type validation_result := Environment_context.validation_result with type rpc_context := Environment_context.rpc_context with type 'a tzresult := ('a, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result with type cache_key := Environment_context.Context.Cache.key with type cache_value := Environment_context.Context.Cache.value with type block_header_data = unit with type operation_data = unit with type operation_receipt = unit with type validation_state = unit
val max_block_length : int
val max_operation_data_length : int
val validation_passes : Environment_context.quota list
type block_header_data = unit
val block_header_data_encoding : block_header_data Data_encoding.t
type block_header = {
  1. shell : Tezos_base.Block_header.shell_header;
  2. protocol_data : block_header_data;
}
type block_header_metadata
val block_header_metadata_encoding : block_header_metadata Data_encoding.t
type operation_data = unit
type operation_receipt = unit
type operation = {
  1. shell : Tezos_base.Operation.shell_header;
  2. protocol_data : operation_data;
}
val operation_data_encoding : operation_data Data_encoding.t
val operation_receipt_encoding : operation_receipt Data_encoding.t
val operation_data_and_receipt_encoding : (operation_data * operation_receipt) Data_encoding.t
val acceptable_passes : operation -> int list
val relative_position_within_block : operation -> operation -> int
type validation_state = unit
val set_log_message_consumer : (Tezos_event_logging.Internal_event.level -> string -> unit) -> unit
val environment_version : Tezos_base.Protocol.env_version
val begin_partial_application : chain_id:Tezos_crypto.Chain_id.t -> ancestor_context:Environment_context.Context.t -> predecessor:Tezos_base.Block_header.t -> predecessor_hash:Tezos_crypto.Block_hash.t -> cache:Environment_context.Context.source_of_cache -> block_header -> (validation_state, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val begin_construction : chain_id:Tezos_crypto.Chain_id.t -> predecessor_context:Environment_context.Context.t -> predecessor_timestamp:Tezos_base.Time.Protocol.t -> predecessor_level:Stdlib.Int32.t -> predecessor_fitness:Tezos_base.Fitness.t -> predecessor:Tezos_crypto.Block_hash.t -> timestamp:Tezos_base.Time.Protocol.t -> ?protocol_data:block_header_data -> cache:Environment_context.Context.source_of_cache -> unit -> (validation_state, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result 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