Registered_protocol (u.706c6a5b48b8c8c6dc70302e37eef124.octez-shell-libs.19.1.doc.octez-shell-libs.protocol-updater.Tezos_protocol_updater.Registered

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 type T = sig ... end

Sourcetype t = (module T)

Sourceval mem : Tezos_base.TzPervasives.Protocol_hash.t -> bool

Sourceval seq : unit -> t Tezos_base.TzPervasives.Seq.t

Sourceval get : Tezos_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.

Source

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

Same as get but with the result return type.

Source

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

Source

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

Source

module Register_embedded_V0
  (Env : Tezos_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

Source

module Register_embedded_V1
  (Env : Tezos_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

Source

module Register_embedded_V2
  (Env : Tezos_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

Source

module Register_embedded_V3
  (Env : Tezos_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

Source

module Register_embedded_V4
  (Env : Tezos_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

Source

module Register_embedded_V5
  (Env : Tezos_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

Source

module Register_embedded_V6
  (Env : Tezos_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

Source

module Register_embedded_V7
  (Env : Tezos_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

Source

module Register_embedded_V8
  (Env : Tezos_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

Source

module Register_embedded_V9
  (Env : Tezos_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

Source

module Register_embedded_V10
  (Env : Tezos_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

Source

module Register_embedded_V11
  (Env : Tezos_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