Make (mavkit-shell-libs.Mavryk_mockup.Local

Parameters

module E : MENV

Signature

val init_fake_p2p : 
  unit ->
  (unit,
    Mavryk_p2p_services.Peer_metadata.t,
    Mavryk_p2p_services.Connection_metadata.t)
    Mavryk_p2p.P2p.net

val p2p : unit -> unit Mavryk_rpc.Directory.t

val chain : unit -> unit Directory.directory

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

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

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

val check_chain : 
  ?caller_name:string ->
  Mavryk_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 : 
  Mavryk_protocol_environment__.Environment_context.Context.t ->
  Mavryk_crypto.Hashed.Chain_id.t ->
  E.Protocol.mode ->
  predecessor:Mavryk_base.TzPervasives.Block_header.shell_header ->
  cache:
    [ `Force_load
    | `Load
    | `Lazy
    | `Inherited of
      Mavryk_protocol_environment__.Environment_context.Context.block_cache
      * Mavryk_crypto.Hashed.Context_hash.t ] ->
  (E.Protocol.validation_state * E.Protocol.application_state,
    Mavryk_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

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

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

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

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

val op_data_encoding : 
  E.Protocol.operation_data Mavryk_base.TzPervasives.Data_encoding.t

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

val ops_encoding : 
  (Mavryk_base.TzPervasives.Operation.shell_header * E.Protocol.operation_data)
    list
    Data_encoding__V1.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_validated : 
  (Mavryk_base.TzPervasives.Operation.shell_header * E.Protocol.operation_data) ->
  (Mavryk_crypto.Hashed.Operation_hash.t * E.Protocol.operation)
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val with_chain : 
  ?caller_name:string ->
  Mavryk_shell_services.Block_services.chain ->
  (unit -> 'a Mavryk_rpc.Answer.t Lwt.t) ->
  'a Mavryk_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)
   * Mavryk_error_monad.TzCore.error Mavryk_shell_services.Preapply_result.t) ->
  E.Protocol.operation ->
  ((E.Protocol.validation_state * E.Protocol.application_state)
   * Mavryk_error_monad.TzCore.error Mavryk_shell_services.Preapply_result.t)
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val preapply_block : unit -> unit Directory.directory

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

val preapply : unit -> unit Directory.directory

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

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

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

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

val inject_operation_with_mempool : 
  Stdlib.Bytes.t ->
  Mavryk_crypto.Hashed.Operation_hash.t Mavryk_rpc.Answer.t Lwt.t

val inject_operation_without_mempool : 
  callback_writer ->
  Stdlib.Bytes.t ->
  Mavryk_crypto.Hashed.Operation_hash.t Mavryk_rpc.Answer.t Lwt.t

val inject_block_generic : 
  callback_writer ->
  (Mavryk_base.TzPervasives.Operation.t list list ->
    unit Mavryk_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