Registered_protocol (mavkit-shell-libs.Mavryk_protocol_updater.Registered

module type T = sig ... end

type t = (module T)

val mem : Mavryk_base.TzPervasives.Protocol_hash.t -> bool

val seq : unit -> t Mavryk_base.TzPervasives.Seq.t

val get : Mavryk_base.TzPervasives.Protocol_hash.t -> t option

get hash searches the protocol of the given hash in the registered protocols. This function also activates the logging facilty of the returned protocol.

val get_result : 
  Mavryk_base.TzPervasives.Protocol_hash.t ->
  t Mavryk_base.TzPervasives.tzresult Lwt.t

Same as get but with the result return type.

val seq_embedded : 
  unit ->
  Mavryk_base.TzPervasives.Protocol_hash.t Mavryk_base.TzPervasives.Seq.t

val get_embedded_sources : 
  Mavryk_base.TzPervasives.Protocol_hash.t ->
  Mavryk_base.TzPervasives.Protocol.t option

module Register_embedded_V0
  (Env : Mavryk_protocol_environment.V0.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V1
  (Env : Mavryk_protocol_environment.V1.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V2
  (Env : Mavryk_protocol_environment.V2.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V3
  (Env : Mavryk_protocol_environment.V3.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V4
  (Env : Mavryk_protocol_environment.V4.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V5
  (Env : Mavryk_protocol_environment.V5.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V6
  (Env : Mavryk_protocol_environment.V6.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V7
  (Env : Mavryk_protocol_environment.V7.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V8
  (Env : Mavryk_protocol_environment.V8.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V9
  (Env : Mavryk_protocol_environment.V9.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V10
  (Env : Mavryk_protocol_environment.V10.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V11
  (Env : Mavryk_protocol_environment.V11.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state

module Register_embedded_V12
  (Env : Mavryk_protocol_environment.V12.T)
  (Proto : Env.Updater.PROTOCOL)
  (Source : sig ... end) : 
  T
    with type block_header_data = Proto.block_header_data
     and type operation_data = Proto.operation_data
     and type operation = Proto.operation
     and type operation_receipt = Proto.operation_receipt
     and type validation_state = Proto.validation_state