Module `Tezos_raw_protocol_alpha.Tx_rollup_errors_repr`Source

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Tx_rollup_already_exists of Tx_rollup_repr.t
| Tx_rollup_does_not_exist of Tx_rollup_repr.t
| Submit_batch_burn_exceeded of {
1. burn : Tez_repr.t;
2. limit : Tez_repr.t;
}
| Inbox_does_not_exist of Tx_rollup_repr.t * Tx_rollup_level_repr.t
| Inbox_size_would_exceed_limit of Tx_rollup_repr.t
| Inbox_count_would_exceed_limit of Tx_rollup_repr.t
| No_uncommitted_inbox
| Message_size_exceeds_limit
| Too_many_inboxes
| Too_many_commitments
| Too_many_withdrawals
| Wrong_batch_count
| Commitment_too_early of {
1. provided : Tx_rollup_level_repr.t;
2. expected : Tx_rollup_level_repr.t;
}
| Level_already_has_commitment of Tx_rollup_level_repr.t
| Wrong_inbox_hash
| Bond_does_not_exist of Tezos_protocol_environment_alpha.Signature.public_key_hash
| Bond_in_use of Tezos_protocol_environment_alpha.Signature.public_key_hash
| No_commitment_to_finalize
| No_commitment_to_remove
| Remove_commitment_too_early
| Commitment_does_not_exist of Tx_rollup_level_repr.t
| Wrong_predecessor_hash of {
1. provided : Tx_rollup_commitment_repr.Hash.t option;
2. expected : Tx_rollup_commitment_repr.Hash.t option;
}
| Internal_error of string
| Wrong_message_position of {
1. level : Tx_rollup_level_repr.t;
2. position : int;
3. length : int;
}
| Wrong_path_depth of {
1. kind : [ `Commitment | `Inbox ];
2. provided : int;
3. limit : int;
}
| Wrong_message_path of {
1. expected : Tx_rollup_inbox_repr.Merkle.root;
}
| No_finalized_commitment_for_level of {
1. level : Tx_rollup_level_repr.t;
2. window : (Tx_rollup_level_repr.t * Tx_rollup_level_repr.t) option;
}
| Withdraw_invalid_path
| Withdraw_already_consumed
| Withdrawals_invalid_path
| Withdrawals_already_dispatched
| Invalid_committer
| Commitment_bond_negative of int
| Cannot_reject_level of {
1. provided : Tx_rollup_level_repr.t;
2. accepted_range : (Tx_rollup_level_repr.t * Tx_rollup_level_repr.t) option;
}
| Wrong_rejection_hash of {
1. provided : Tx_rollup_message_result_hash_repr.t;
2. expected : [ `Hash of Tx_rollup_message_result_hash_repr.t | `Valid_path of Tx_rollup_commitment_repr.Merkle.h * int ];
}
| Ticket_payload_size_limit_exceeded of {
1. payload_size : Saturation_repr.may_saturate Saturation_repr.t;
2. limit : int;
}
| Proof_undecodable
| Proof_failed_to_reject
| Proof_produced_rejected_state
| Proof_invalid_before of {
1. agreed : Tezos_protocol_environment_alpha.Context_hash.t;
2. provided : Tezos_protocol_environment_alpha.Context_hash.t;
}
| No_withdrawals_to_dispatch

val check_path_depth : 
  [ `Commitment | `Inbox ] ->
  int ->
  count_limit:int ->
  (unit,
    Tezos_protocol_environment_alpha.Error_monad.error
      Tezos_protocol_environment_alpha.Error_monad.trace)
    Tezos_protocol_environment_alpha.Pervasives.result

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Tx_rollup_errors_repr/index.html

Module `Tezos_raw_protocol_alpha.Tx_rollup_errors_repr`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Tx_rollup_errors_repr/index.html

Module Tezos_raw_protocol_alpha.Tx_rollup_errors_reprSource

Module `Tezos_raw_protocol_alpha.Tx_rollup_errors_repr`Source