Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val hash : Tezos_base.TzPervasives.Protocol_hash.t
include Tezos_protocol_environment.PROTOCOL
val block_header_data_encoding :
block_header_data Tezos_base.TzPervasives.Data_encoding.t
type block_header = {
shell : Tezos_base.TzPervasives.Block_header.shell_header;
protocol_data : block_header_data;
}
val block_header_metadata_encoding_with_legacy_attestation_name :
block_header_metadata Tezos_base.TzPervasives.Data_encoding.t
val block_header_metadata_encoding :
block_header_metadata Tezos_base.TzPervasives.Data_encoding.t
type operation = {
shell : Tezos_base.TzPervasives.Operation.shell_header;
protocol_data : operation_data;
}
val operation_data_encoding :
operation_data Tezos_base.TzPervasives.Data_encoding.t
val operation_data_encoding_with_legacy_attestation_name :
operation_data Tezos_base.TzPervasives.Data_encoding.t
val operation_receipt_encoding :
operation_receipt 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
val compare_operations :
(Tezos_crypto.Hashed.Operation_hash.t * operation) ->
(Tezos_crypto.Hashed.Operation_hash.t * operation) ->
int
type mode =
| Application of block_header
| Partial_validation of block_header
| Construction of {
predecessor_hash : Tezos_crypto.Hashed.Block_hash.t;
timestamp : Tezos_base.TzPervasives.Time.Protocol.t;
block_header_data : block_header_data;
}
| Partial_construction of {
predecessor_hash : Tezos_crypto.Hashed.Block_hash.t;
timestamp : Tezos_base.TzPervasives.Time.Protocol.t;
}
val validate_operation :
?check_signature:bool ->
validation_state ->
Tezos_crypto.Hashed.Operation_hash.t ->
operation ->
validation_state Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t
val finalize_validation :
validation_state ->
unit Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t
val apply_operation :
application_state ->
Tezos_crypto.Hashed.Operation_hash.t ->
operation ->
(application_state * operation_receipt)
Tezos_base.TzPervasives.Error_monad.tzresult
Lwt.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: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 environment_version : Tezos_base.TzPervasives.Protocol.env_version
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:
[ `Force_load
| `Load
| `Lazy
| `Inherited of
Tezos_protocol_environment__.Environment_context.Context.block_cache
* Tezos_crypto.Hashed.Context_hash.t ] ->
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:
[ `Force_load
| `Load
| `Lazy
| `Inherited of
Tezos_protocol_environment__.Environment_context.Context.block_cache
* Tezos_crypto.Hashed.Context_hash.t ] ->
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