How-to obtain an instance of this module's main module type: T
module Proto : Tezos_protocol_environment.PROTOCOLtype protocol_operation = Proto.operationSimilar to the same type in the protocol, see Tezos_protocol_environment.PROTOCOL.operation
type operation_receipt = Proto.operation_receiptSimilar to the same type in the protocol, see Tezos_protocol_environment.PROTOCOL
type validation_state = Proto.validation_stateSimilar to the same type in the protocol, see Tezos_protocol_environment.PROTOCOL
type chain_store = Tezos_store.Store.chain_storeThe type implemented by Tezos_store.Store.chain_store in production, and mocked in tests
The type used internally by this module. Created by create and then passed back and possibly updated by apply_operation.
val parse :
Tezos_base.TzPervasives.Operation_hash.t ->
Tezos_base.Operation.t ->
protocol_operation operation Tezos_base.TzPervasives.tzresultparse hash op reads a usual Operation.t and lifts it to the type protocol_operation used by this module. This function is in the tzresult monad, because it can return the following errors:
Validation_errors.Oversized_operation if the size of the operation data within op is too large (to protect against DoS attacks), andValidation_errors.Parse_error if serialized data cannot be parsed.val increment_successful_precheck :
protocol_operation operation ->
protocol_operation operationincrement_successful_precheck op increments the field count_successful_prechecks of the given operation op. It is supposed to be called after each successful precheck of a given operation op, and nowhere else. Overflow is unlikely to occur in practice, as the counter grows very slowly and the number of prechecks is bounded.
val create :
chain_store ->
predecessor:Tezos_store.Store.Block.t ->
live_operations:Tezos_base.TzPervasives.Operation_hash.Set.t ->
timestamp:Tezos_base.Time.Protocol.t ->
unit ->
t Tezos_base.TzPervasives.tzresult Lwt.tCreates a new prevalidation context w.r.t. the protocol associated with the predecessor block.
type result = | Applied of t * operation_receipt| Branch_delayed of Tezos_base.TzPervasives.tztrace| Branch_refused of Tezos_base.TzPervasives.tztrace| Refused of Tezos_base.TzPervasives.tztrace| Outdated of Tezos_base.TzPervasives.tztraceValues returned by create. They are obtained from the result of the protocol apply_operation function and the classification of errors.
val apply_operation : t -> protocol_operation operation -> result Lwt.tapply_operation t op calls the protocol apply_operation function and handles possible errors, hereby yielding a classification
val validation_state : t -> validation_statevalidation_state t returns the subset of t corresponding to the type validation_state of the protocol.
val set_validation_state : t -> validation_state -> tUpdates the subset of t corresponding to the type validation_state of the protocol.
val pp_result : Format.formatter -> result -> unitmodule Internal_for_tests : sig ... end