Module `Alpha_context.Tx_rollup_commitment`Source

This module re-exports definitions from Tx_rollup_commitment_repr.

Sourcemodule Merkle_hash : Tezos_protocol_environment_alpha.S.HASH

module Merkle : 
  Merkle_list.T
    with type elt = Tx_rollup_message_result_hash.t
     and type h = Merkle_hash.t

Sourcetype 'a template = {

level : Tx_rollup_level.t;
messages : 'a;
predecessor : Tx_rollup_commitment_hash.t option;
inbox_merkle_root : Tx_rollup_inbox.Merkle.root;

}

Sourcemodule Compact : sig ... end

Sourcemodule Submitted_commitment : sig ... end

Sourcemodule Full : sig ... end

Source

val check_message_result : 
  context ->
  Compact.t ->
  [ `Hash of Tx_rollup_message_result_hash.t
  | `Result of Tx_rollup_message_result.t ] ->
  path:Merkle.path ->
  index:int ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult

Source

val add_commitment : 
  context ->
  Tx_rollup.t ->
  Tx_rollup_state.t ->
  public_key_hash ->
  Full.t ->
  (context * Tx_rollup_state.t * public_key_hash option)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val find : 
  context ->
  Tx_rollup.t ->
  Tx_rollup_state.t ->
  Tx_rollup_level.t ->
  (context * Submitted_commitment.t option)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val get : 
  context ->
  Tx_rollup.t ->
  Tx_rollup_state.t ->
  Tx_rollup_level.t ->
  (context * Submitted_commitment.t)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val check_agreed_and_disputed_results : 
  context ->
  Tx_rollup.t ->
  Tx_rollup_state.t ->
  Submitted_commitment.t ->
  agreed_result:Tx_rollup_message_result.t ->
  agreed_result_path:Merkle.path ->
  disputed_result:Tx_rollup_message_result_hash.t ->
  disputed_position:int ->
  disputed_result_path:Merkle.path ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val get_finalized : 
  context ->
  Tx_rollup.t ->
  Tx_rollup_state.t ->
  Tx_rollup_level.t ->
  (context * Submitted_commitment.t)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val pending_bonded_commitments : 
  context ->
  Tx_rollup.t ->
  public_key_hash ->
  (context * int) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val has_bond : 
  context ->
  Tx_rollup.t ->
  public_key_hash ->
  (context * bool) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val finalize_commitment : 
  context ->
  Tx_rollup.t ->
  Tx_rollup_state.t ->
  (context * Tx_rollup_state.t * Tx_rollup_level.t)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val remove_commitment : 
  context ->
  Tx_rollup.t ->
  Tx_rollup_state.t ->
  (context * Tx_rollup_state.t * Tx_rollup_level.t)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val remove_bond : 
  context ->
  Tx_rollup.t ->
  public_key_hash ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val slash_bond : 
  context ->
  Tx_rollup.t ->
  public_key_hash ->
  (context * bool) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val reject_commitment : 
  context ->
  Tx_rollup.t ->
  Tx_rollup_state.t ->
  Tx_rollup_level.t ->
  (context * Tx_rollup_state.t)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Tx_rollup_commitment/index.html

Module `Alpha_context.Tx_rollup_commitment`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Tx_rollup_commitment/index.html

Module Alpha_context.Tx_rollup_commitmentSource

Module `Alpha_context.Tx_rollup_commitment`Source