Module Wait_condition.Make

Parameters

Signature

type 'a predicate_result =
| Predicate_passed
| Predicate_continuation of 'a
| Predicate_failure of Core_kernel.Error.t
type predicate =
| Network_state_predicate : ( Network_state.t -> 'a predicate_result ) * ( 'a -> Network_state.t -> 'a predicate_result ) -> predicate
| Event_predicate : 'b Event_type.t * 'a * ( 'a -> Engine.Network.Node.t -> 'b -> 'a predicate_result ) -> predicate
type wait_condition_id =
| Nodes_to_initialize
| Blocks_to_be_produced
| Nodes_to_synchronize
| Signed_command_to_be_included_in_frontier
| Ledger_proofs_emitted_since_genesis
| Block_height_growth
| Zkapp_to_be_included_in_frontier
| Persisted_frontier_loaded
type t = {
id : wait_condition_id;
description : string;
predicate : predicate;
soft_timeout : Network_time_span.t;
hard_timeout : Network_time_span.t;
}
include Intf.Dsl.Wait_condition_intf with type t := t and module Engine := Engine and type wait_condition_id := wait_condition_id and module Event_router := Event_router and module Network_state := Network_state
val wait_condition_id : t -> wait_condition_id
val with_timeouts : ?soft_timeout:Network_time_span.t -> ?hard_timeout:Network_time_span.t -> t -> t
val node_to_initialize : Engine.Network.Node.t -> t
val nodes_to_initialize : Engine.Network.Node.t list -> t
val blocks_to_be_produced : int -> t
val block_height_growth : height_growth:int -> t
val nodes_to_synchronize : Engine.Network.Node.t list -> t
val signed_command_to_be_included_in_frontier : txn_hash:Mina_transaction.Transaction_hash.t -> node_included_in:[ `Any_node | `Node of Engine.Network.Node.t ] -> t
val ledger_proofs_emitted_since_genesis : num_proofs:int -> t
val zkapp_to_be_included_in_frontier : has_failures:bool -> zkapp_command:Mina_base.Zkapp_command.t -> t
val persisted_frontier_loaded : Engine.Network.Node.t -> t