package tezos-validation

You can search for identifiers within the package.

in-package search v0.2.0

tezos-validation
- Tezos_validation

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Events : sig ... end

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

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

val inconsistent_handshake : string -> Tezos_base.TzPervasives.error

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

val init : 
  readonly:bool ->
  Lwt_io.input_channel ->
  (Tezos_context.Context.index
   * string
   * Tezos_base.TzPervasives.Genesis.t
   * Tezos_base.TzPervasives.User_activated.upgrades
   * Tezos_base.TzPervasives.User_activated.protocol_overrides
   * Tezos_shell_services.Shell_limits.operation_metadata_size_limit,
    Tezos_error_monad.Error_monad.tztrace)
    result
    Lwt.t

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

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