package tezos-shell

  1. Overview
  2. Docs

Parameters

Signature

module Proto = Proto
type t
type operation = private {
  1. hash : Tezos_crypto.Operation_hash.t;
  2. raw : Tezos_base.Operation.t;
  3. protocol_data : Proto.operation_data;
}
val compare : operation -> operation -> int
val create : Tezos_store.Store.chain_store -> ?protocol_data:Stdlib.Bytes.t -> predecessor:Tezos_store.Store.Block.t -> live_blocks:Tezos_crypto.Block_hash.Set.t -> live_operations:Tezos_crypto.Operation_hash.Set.t -> timestamp:Tezos_base.Time.Protocol.t -> unit -> (t, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

Creates a new prevalidation context w.r.t. the protocol associate to the predecessor block . When ?protocol_data is passed to this function, it will be used to create the new block

type result =
  1. | Applied of t * Proto.operation_receipt
  2. | Branch_delayed of Tezos_error_monad.TzCore.error list
  3. | Branch_refused of Tezos_error_monad.TzCore.error list
  4. | Refused of Tezos_error_monad.TzCore.error list
  5. | Outdated
val apply_operation : t -> operation -> result Lwt.t
type status = {
  1. applied_operations : (operation * Proto.operation_receipt) list;
  2. block_result : Tezos_protocol_environment.validation_result;
  3. block_metadata : Proto.block_header_metadata;
}
val status : t -> (status, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val validation_state : t -> Proto.validation_state
val pp_result : Stdlib.Format.formatter -> result -> unit
OCaml

Innovation. Community. Security.