tezos-mockup 12.3 · OCaml Package

Parameters

module E : MENV

Signature

val init_fake_p2p : 
  unit ->
  (unit,
    Tezos_p2p_services.Peer_metadata.t,
    Tezos_p2p_services.Connection_metadata.t)
    Tezos_p2p.P2p.net

val p2p : unit -> unit Tezos_rpc.RPC_directory.t

val chain : unit -> unit Directory.directory

val protocols : Tezos_crypto.Protocol_hash.t -> unit Directory.directory

val monitor : unit -> unit Tezos_rpc.RPC_directory.directory

val chain_chain_id : 
  [< `Hash of Tezos_crypto.Chain_id.t | `Main | `Test ] ->
  Tezos_crypto.Chain_id.t

val check_chain : 
  ?caller_name:string ->
  Tezos_shell_services.Block_services.chain ->
  (unit, 'a) result Lwt.t

val proto_data_bytes_to_block_header_opt : 
  unit ->
  E.Protocol.block_header_data option

val partial_construction : 
  cache:Environment_context.Context.source_of_cache ->
  unit ->
  (E.Protocol.validation_state,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val full_construction : 
  ?timestamp:Tezos_base.Time.Protocol.t ->
  protocol_data:E.Protocol.block_header_data ->
  cache:Environment_context.Context.source_of_cache ->
  unit ->
  (E.Protocol.validation_state,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    result
    Lwt.t

val op_data_encoding : E.Protocol.operation_data Data_encoding.t

val op_encoding : 
  (Tezos_base.Operation.shell_header * E.Protocol.operation_data)
    Data_encoding.encoding

val ops_encoding : 
  (Tezos_base.Operation.shell_header * E.Protocol.operation_data) list
    Data_encoding.encoding

module L : sig ... end

type write_mode =

| Append
| Zero_truncate

module Rw (File_accessor : Files.ACCESSOR) : sig ... end

module Mempool : sig ... end

module Trashpool : sig ... end

val to_applied : 
  (Tezos_base.Operation.shell_header * E.Protocol.operation_data) ->
  (Tezos_crypto.Operation_hash.t * E.Protocol.operation,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val with_chain : 
  ?caller_name:string ->
  Tezos_shell_services.Block_services.chain ->
  (unit -> 'a Tezos_rpc.RPC_answer.t Lwt.t) ->
  'a Tezos_rpc.RPC_answer.t Lwt.t

val pending_operations : unit -> unit Directory.directory

val shell_header : unit -> unit Directory.directory

val block_hash : unit -> unit Directory.directory

val live_blocks : unit -> unit Directory.directory

val simulate_operation : 
  (E.Protocol.validation_state
   * Tezos_error_monad.TzCore.error Tezos_shell_services.Preapply_result.t) ->
  E.Protocol.operation ->
  (E.Protocol.validation_state
   * Tezos_error_monad.TzCore.error Tezos_shell_services.Preapply_result.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val preapply_block : unit -> unit Directory.directory

val preapply : unit -> unit Directory.directory

val hash_op : 
  (Tezos_base.Operation.shell_header * E.Protocol.operation_data) ->
  Tezos_crypto.Operation_hash.t

val equal_op : 
  (Tezos_base.Operation.shell_header * 'a) ->
  (Tezos_base.Operation.shell_header * 'b) ->
  bool

val need_operation : 
  (Tezos_base.Operation.shell_header * E.Protocol.operation_data) ->
  ([> `Applicable | `Equal | `Refused ], Tezos_error_monad.Error_monad.tztrace)
    result
    Lwt.t

val append_to_thraspool : 
  notification_msg:string ->
  (Tezos_base.Operation.shell_header * E.Protocol.operation_data) ->
  ('a, Tezos_error_monad.Error_monad.tztrace) result Lwt.t

val inject_operation_with_mempool : 
  Bytes.t ->
  Tezos_crypto.Operation_hash.t Tezos_rpc.RPC_answer.t Lwt.t

val inject_operation_without_mempool : 
  callback_writer ->
  Bytes.t ->
  Tezos_crypto.Operation_hash.t Tezos_rpc.RPC_answer.t Lwt.t

val inject_block_generic : 
  callback_writer ->
  (Tezos_base.Operation.t list list ->
    (unit, Tezos_error_monad.TzCore.error list) result Lwt.t) ->
  unit Directory.directory

val inject_block : callback_writer -> unit Directory.directory

inject_block is a feature that assumes that the mockup is on-disk and uses a mempool.

val inject_operation : bool -> callback_writer -> unit Directory.directory

val monitor_heads : unit -> unit Directory.directory

val header : unit -> unit Directory.directory

val protocol_data_raw : unit -> unit Directory.directory

val operations : unit -> unit Directory.directory

val monitor_operations : unit -> unit Directory.directory

val build_shell_directory : bool -> callback_writer -> unit Directory.directory

package tezos-mockup

Parameters

Signature