package tezos-shell

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-shell

tezos-shell
- Tezos_shell

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Proto : Tezos_protocol_environment.PROTOCOL

type t

type operation = private {

}

val compare : operation -> operation -> int

val parse : 
  Tezos_base.Operation.t ->
  (operation, Tezos_error_monad.TzCore.error list) result

val create : 
  Tezos_store.Store.chain_store ->
  ?protocol_data: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) 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 =

| Applied of t * Proto.operation_receipt
| Branch_delayed of Tezos_error_monad.TzCore.error list
| Branch_refused of Tezos_error_monad.TzCore.error list
| Refused of Tezos_error_monad.TzCore.error list
| Outdated

val apply_operation : t -> operation -> result Lwt.t

type status = {

applied_operations : (operation * Proto.operation_receipt) list;
block_result : Tezos_protocol_environment.validation_result;
block_metadata : Proto.block_header_metadata;

}

val status : t -> (status, Tezos_error_monad.TzCore.error list) result Lwt.t

val validation_state : t -> Proto.validation_state

val pp_result : Format.formatter -> result -> unit