External_validator (p.octez-shell-libs.20.1.doc.octez-shell-libs.validation.Tezos_validation.External

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

Sourcemodule Events : sig ... end

val load_protocol : 
  Tezos_base.TzPervasives.Protocol_hash.t ->
  string ->
  (unit, Tezos_base.TzPervasives.error list) result Lwt.t

Source

val with_retry_to_load_protocol : 
  string ->
  (unit -> ('a, Tezos_base.TzPervasives.error list) result Lwt.t) ->
  ('a, Tezos_base.TzPervasives.error list) result Lwt.t

Sourceval inconsistent_handshake : string -> Tezos_base.TzPervasives.error

Source

val handshake : 
  Lwt_io.input_channel ->
  Lwt_io.output_channel ->
  (unit, Tezos_base.TzPervasives.error Tezos_base.TzPervasives.TzTrace.trace)
    result
    Lwt.t

Source

val init : 
  Lwt_io.input_channel ->
  Lwt_io.output_channel ->
  (External_validation.parameters * Tezos_context.Context.index,
    Tezos_error_monad.Error_monad.tztrace)
    result
    Lwt.t

Source

val handle_request : 
  'a. External_validation.parameters ->
  Tezos_context.Context.index ->
  Tezos_context_ops.Context_ops.Environment_context.block_cache option ->
  (Block_validation.apply_result
   * Tezos_context_ops.Context_ops.Environment_context.t)
    option ->
  'a External_validation.request ->
  [ `Continue of
      'a Tezos_base.TzPervasives.tzresult
      * Tezos_context_ops.Context_ops.Environment_context.block_cache option
      * (Block_validation.apply_result
         * Tezos_context_ops.Context_ops.Environment_context.t)
          option
  | `Stop ]
    Lwt.t

Source

val run : 
  using_std_channel:bool ->
  Lwt_io.input_channel ->
  Lwt_io.output_channel ->
  (unit, Tezos_base.TzPervasives.error Tezos_base.TzPervasives.TzTrace.trace)
    result
    Lwt.t

Source

val main : 
  ?socket_dir:string ->
  unit ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t