Make (p.octez-shell-libs.20.1.doc.octez-shell-libs.mockup.Tezos_mockup.Local

octez-shell-libs
- README
- tezos-shell index
- Library octez-shell-libs.client-base
  - Tezos_client_base
- Library octez-shell-libs.client-base-unix
  - Tezos_client_base_unix
- Library octez-shell-libs.client-commands
  - Tezos_client_commands
- Library octez-shell-libs.context-ops
  - Tezos_context_ops
- Library octez-shell-libs.mocked
- Library octez-shell-libs.mockup
  - Tezos_mockup
- Library octez-shell-libs.mockup-commands
  - Tezos_mockup_commands
- Library octez-shell-libs.mockup-proxy
  - Tezos_mockup_proxy
- Library octez-shell-libs.mockup-registration
  - Tezos_mockup_registration
- Library octez-shell-libs.p2p
  - Tezos_p2p
- Library octez-shell-libs.p2p_test_common
  - Tezos_p2p_test_common
- Library octez-shell-libs.protocol-updater
  - Tezos_protocol_updater
- Library octez-shell-libs.proxy
  - Tezos_proxy
- Library octez-shell-libs.shell
  - Tezos_shell
- Library octez-shell-libs.shell-benchmarks
  - Tezos_shell_benchmarks
- Library octez-shell-libs.shell-context
  - Tezos_shell_context
- Library octez-shell-libs.shell-services
  - Tezos_shell_services
- Library octez-shell-libs.signer-backends
  - Tezos_signer_backends
- Library octez-shell-libs.signer-services
  - Tezos_signer_services
- Library octez-shell-libs.store
- Library octez-shell-libs.validation
  - Tezos_validation
- Library tezos_proxy_rpc
  - Tezos_proxy_rpc
- Library tezos_signer_backends_unix
  - Tezos_signer_backends_unix
- Library tezos_store_real
- Library tezos_store_shared
  - Tezos_store_shared
- Library tezos_store_unix
  - Tezos_store_unix
- Library tezos_store_unix_reconstruction
  - Tezos_store_unix_reconstruction
- Library tezos_store_unix_snapshots
  - Tezos_store_unix_snapshots
- Sources

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