package tezos-protocol-demo-counter

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

Tezos Protocol Implementation - Protocol Signature Instance.

This module implements the economic protocol signature. It also exports the RPC services defined in module Services.

val max_block_length : int
val max_operation_data_length : int
val validation_passes : Environment_context.quota list
type block_header_data = Header.t
val block_header_data_encoding : block_header_data Tezos_base__TzPervasives.Data_encoding.t
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 : block_header_metadata Tezos_base__TzPervasives.Data_encoding.t
type operation_data = Proto_operation.t
type operation_receipt = Receipt.t
type operation = {
  1. shell : Tezos_base__TzPervasives.Operation.shell_header;
  2. protocol_data : operation_data;
}
val operation_data_encoding : operation_data Tezos_base__TzPervasives.Data_encoding.t
val operation_receipt_encoding : 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 acceptable_passes : operation -> int list
val compare_operations : operation -> operation -> int
type validation_state
val current_context : validation_state -> (Environment_context.Context.t, Tezos_protocol_environment_demo_counter__Environment.Error_monad.error list) Stdlib.result Lwt.t
val begin_partial_application : chain_id:Tezos_base__TzPervasives.Chain_id.t -> ancestor_context:Environment_context.Context.t -> predecessor_timestamp:Tezos_base__TzPervasives.Time.Protocol.t -> predecessor_fitness:Tezos_protocol_environment_structs.V0.M.MBytes.t list -> block_header -> (validation_state, Tezos_protocol_environment_demo_counter__Environment.Error_monad.error list) Stdlib.result Lwt.t
val begin_application : chain_id:Tezos_base__TzPervasives.Chain_id.t -> predecessor_context:Environment_context.Context.t -> predecessor_timestamp:Tezos_base__TzPervasives.Time.Protocol.t -> predecessor_fitness:Tezos_protocol_environment_structs.V0.M.MBytes.t list -> block_header -> (validation_state, Tezos_protocol_environment_demo_counter__Environment.Error_monad.error list) Stdlib.result Lwt.t
val begin_construction : chain_id:Tezos_base__TzPervasives.Chain_id.t -> predecessor_context:Environment_context.Context.t -> predecessor_timestamp:Tezos_base__TzPervasives.Time.Protocol.t -> predecessor_level:int32 -> predecessor_fitness:Tezos_protocol_environment_structs.V0.M.MBytes.t list -> predecessor:Tezos_base__TzPervasives.Block_hash.t -> timestamp:Tezos_base__TzPervasives.Time.Protocol.t -> ?protocol_data:block_header_data -> unit -> (validation_state, Tezos_protocol_environment_demo_counter__Environment.Error_monad.error list) Stdlib.result Lwt.t
val apply_operation : validation_state -> operation -> (validation_state * operation_receipt, Tezos_protocol_environment_demo_counter__Environment.Error_monad.error list) Stdlib.result Lwt.t
val finalize_block : validation_state -> (Environment_context.validation_result * block_header_metadata, Tezos_protocol_environment_demo_counter__Environment.Error_monad.error list) Stdlib.result Lwt.t
val rpc_services : Environment_context.rpc_context Tezos_base__TzPervasives.RPC_directory.t
val init : Environment_context.Context.t -> Tezos_base__TzPervasives.Block_header.shell_header -> (Environment_context.validation_result, Tezos_protocol_environment_demo_counter__Environment.Error_monad.error list) 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