Module `Local_services.Make`Source

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

Sourceval p2p : unit -> unit Tezos_rpc.Directory.t

Sourceval chain : unit -> unit Directory.directory

Source

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

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

Source

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

Source

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

Source

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

Source

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)
    result
    Lwt.t

Source

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)
    result
    Lwt.t

Source

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)
    result
    Lwt.t

Source

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)
    result
    Lwt.t

Source

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)
    result
    Lwt.t

Source

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

Source

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

Source

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

Sourcemodule L : sig ... end

Sourcetype write_mode =

| Append
| Zero_truncate

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

Sourcemodule Mempool : sig ... end

Sourcemodule Trashpool : sig ... end

Source

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

Source

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

Sourceval pending_operations : unit -> unit Directory.directory

Sourceval shell_header : unit -> unit Directory.directory

Sourceval block_hash : unit -> unit Directory.directory

Sourceval live_blocks : unit -> unit Directory.directory

Source

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

Sourceval preapply_block : unit -> unit Directory.directory

Source

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

Sourceval preapply : unit -> unit Directory.directory

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val inject_block_generic : 
  callback_writer ->
  (Tezos_base.TzPervasives.Operation.t list list ->
    unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
  unit Directory.directory

Sourceval inject_block : callback_writer -> unit Directory.directory

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

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

Sourceval monitor_validated_blocks : unit -> unit Directory.directory

Sourceval monitor_heads : unit -> unit Directory.directory

Sourceval raw_header : unit -> unit Directory.directory

Sourceval header : unit -> unit Directory.directory

Sourceval resulting_context_hash : unit -> unit Directory.directory

Sourceval protocol_data_raw : unit -> unit Directory.directory

Sourceval operations : unit -> unit Directory.directory

Sourceval monitor_operations : unit -> unit Directory.directory

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-shell-libs.mockup/Tezos_mockup/Local_services/Make/index.html

Module `Local_services.Make`Source

Parameters

Signature

package octez-shell-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-shell-libs.mockup/Tezos_mockup/Local_services/Make/index.html

Module Local_services.MakeSource

Parameters

Signature

Module `Local_services.Make`Source