package tezos-protocol-016-PtMumbai

  1. Overview
  2. Docs
package tezos-protocol-016-PtMumbai
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module re-exports definitions from Tx_rollup_errors_repr.

type Tezos_protocol_environment_016_PtMumbai.Error_monad.error +=
  1. | Tx_rollup_already_exists of Tx_rollup.t
  2. | Tx_rollup_does_not_exist of Tx_rollup.t
  3. | Submit_batch_burn_exceeded of {
    1. burn : Tez.t;
    2. limit : Tez.t;
    }
  4. | Inbox_does_not_exist of Tx_rollup.t * Tx_rollup_level.t
  5. | Inbox_size_would_exceed_limit of Tx_rollup.t
  6. | Inbox_count_would_exceed_limit of Tx_rollup.t
  7. | Message_size_exceeds_limit
  8. | Too_many_inboxes
  9. | Too_many_commitments
  10. | Too_many_withdrawals
  11. | Wrong_batch_count
  12. | Commitment_too_early of {
    1. provided : Tx_rollup_level.t;
    2. expected : Tx_rollup_level.t;
    }
  13. | Level_already_has_commitment of Tx_rollup_level.t
  14. | Wrong_inbox_hash
  15. | Bond_does_not_exist of public_key_hash
  16. | Bond_in_use of public_key_hash
  17. | No_uncommitted_inbox
  18. | No_commitment_to_finalize
  19. | No_commitment_to_remove
  20. | Invalid_committer
  21. | Remove_commitment_too_early
  22. | Commitment_does_not_exist of Tx_rollup_level.t
  23. | Wrong_predecessor_hash of {
    1. provided : Tx_rollup_commitment_hash.t option;
    2. expected : Tx_rollup_commitment_hash.t option;
    }
  24. | Internal_error of string
  25. | Wrong_message_position of {
    1. level : Tx_rollup_level.t;
    2. position : int;
    3. length : int;
    }
  26. | Wrong_path_depth of {
    1. kind : [ `Inbox | `Commitment ];
    2. provided : int;
    3. limit : int;
    }
  27. | Wrong_message_path of {
    1. expected : Tx_rollup_inbox.Merkle.root;
    }
  28. | No_finalized_commitment_for_level of {
    1. level : Tx_rollup_level.t;
    2. window : (Tx_rollup_level.t * Tx_rollup_level.t) option;
    }
  29. | Withdraw_invalid_path
  30. | Withdraw_already_consumed
  31. | Withdrawals_invalid_path
  32. | Withdrawals_already_dispatched
  33. | Cannot_reject_level of {
    1. provided : Tx_rollup_level.t;
    2. accepted_range : (Tx_rollup_level.t * Tx_rollup_level.t) option;
    }
  34. | Wrong_rejection_hash of {
    1. provided : Tx_rollup_message_result_hash.t;
    2. expected : [ `Valid_path of Tx_rollup_commitment.Merkle.h * int | `Hash of Tx_rollup_message_result_hash.t ];
    }
  35. | Proof_undecodable
  36. | Proof_failed_to_reject
  37. | Proof_produced_rejected_state
  38. | Proof_invalid_before of {
    1. agreed : Tezos_protocol_environment_016_PtMumbai.Context_hash.t;
    2. provided : Tezos_protocol_environment_016_PtMumbai.Context_hash.t;
    }
  39. | No_withdrawals_to_dispatch
val check_path_depth : [ `Inbox | `Commitment ] -> int -> count_limit:int -> unit Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct