Make (octez-shell-libs.Tezos_mockup.Local

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.Directory.t

val chain : unit -> unit Directory.directory

val protocols : 
  Tezos_base.TzPervasives.Protocol_hash.t ->
  unit Directory.directory

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

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

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

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

val begin_validation_and_application : 
  Tezos_protocol_environment__.Environment_context.Context.t ->
  Tezos_crypto.Hashed.Chain_id.t ->
  E.Protocol.mode ->
  predecessor:Tezos_base.TzPervasives.Block_header.shell_header ->
  cache:
    [ `Force_load
    | `Load
    | `Lazy
    | `Inherited of
      Tezos_protocol_environment__.Environment_context.Context.block_cache
      * Tezos_crypto.Hashed.Context_hash.t ] ->
  (E.Protocol.validation_state * E.Protocol.application_state,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

val validate_and_apply_operation : 
  (E.Protocol.validation_state * E.Protocol.application_state) ->
  Tezos_crypto.Hashed.Operation_hash.t ->
  E.Protocol.operation ->
  ((E.Protocol.validation_state * E.Protocol.application_state)
   * E.Protocol.operation_receipt,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

val finalize_validation_and_application : 
  (E.Protocol.validation_state * E.Protocol.application_state) ->
  Tezos_base.TzPervasives.Block_header.shell_header option ->
  (Tezos_protocol_environment__.Environment_context.validation_result
   * E.Protocol.block_header_metadata,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

val partial_construction : 
  cache:
    [ `Force_load
    | `Load
    | `Lazy
    | `Inherited of
      Tezos_protocol_environment__.Environment_context.Context.block_cache
      * Tezos_crypto.Hashed.Context_hash.t ] ->
  unit ->
  (E.Protocol.validation_state * E.Protocol.application_state,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

val full_construction : 
  ?timestamp:Tezos_base.TzPervasives.Time.Protocol.t ->
  protocol_data:E.Protocol.block_header_data ->
  cache:
    [ `Force_load
    | `Load
    | `Lazy
    | `Inherited of
      Tezos_protocol_environment__.Environment_context.Context.block_cache
      * Tezos_crypto.Hashed.Context_hash.t ] ->
  unit ->
  (E.Protocol.validation_state * E.Protocol.application_state,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

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

val ops_encoding : 
  (Tezos_base.TzPervasives.Operation.shell_header * E.Protocol.operation_data)
    list
    Data_encoding.Encoding.t

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_validated : 
  (Tezos_base.TzPervasives.Operation.shell_header * E.Protocol.operation_data) ->
  (Tezos_crypto.Hashed.Operation_hash.t * E.Protocol.operation)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val with_chain : 
  ?caller_name:string ->
  Tezos_shell_services.Block_services.chain ->
  (unit -> 'a Tezos_rpc.Answer.t Lwt.t) ->
  'a Tezos_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 * E.Protocol.application_state)
   * Tezos_error_monad.TzCore.error Tezos_shell_services.Preapply_result.t) ->
  E.Protocol.operation ->
  ((E.Protocol.validation_state * E.Protocol.application_state)
   * Tezos_error_monad.TzCore.error Tezos_shell_services.Preapply_result.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val preapply_block : unit -> unit Directory.directory

val hash_protocol_operation : 
  E.Protocol.operation ->
  (Tezos_crypto.Hashed.Operation_hash.t, Tezos_base.TzPervasives.tztrace)
    Lwt_result.t

val preapply : unit -> unit Directory.directory

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

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

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

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

val inject_operation_with_mempool : 
  Stdlib.Bytes.t ->
  Tezos_crypto.Hashed.Operation_hash.t Tezos_rpc.Answer.t Lwt.t

val inject_operation_without_mempool : 
  callback_writer ->
  Stdlib.Bytes.t ->
  Tezos_crypto.Hashed.Operation_hash.t Tezos_rpc.Answer.t Lwt.t

val inject_block_generic : 
  callback_writer ->
  (Tezos_base.TzPervasives.Operation.t list list ->
    unit Tezos_base.TzPervasives.tzresult 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_validated_blocks : unit -> unit Directory.directory

val monitor_heads : unit -> unit Directory.directory

val raw_header : unit -> unit Directory.directory

val header : unit -> unit Directory.directory

val resulting_context_hash : 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