package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type
type kind =
  1. | Int_kind
  2. | String_kind
  3. | Bytes_kind
  4. | Prim_kind
  5. | Seq_kind
type unparsed_stack_ty = (Alpha_context.Script.expr * Alpha_context.Script.annot) list
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_arity of Alpha_context.Script.location * Alpha_context.Script.prim * int * int
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_seq_arity of Alpha_context.Script.location * int * int
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_namespace of Alpha_context.Script.location * Alpha_context.Script.prim * Michelson_v1_primitives.namespace * Michelson_v1_primitives.namespace
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_primitive of Alpha_context.Script.location * Alpha_context.Script.prim list * Alpha_context.Script.prim
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_kind of Alpha_context.Script.location * kind list * kind
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_never_expr of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Missing_field of Alpha_context.Script.prim
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Duplicate_field of Alpha_context.Script.location * Alpha_context.Script.prim
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unexpected_lazy_storage of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unexpected_operation of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unexpected_contract of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | No_such_entrypoint of string
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Duplicate_entrypoint of string
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unreachable_entrypoint of Alpha_context.Script.prim list
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Entrypoint_name_too_long of string
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Fail_not_in_tail_position of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Undefined_binop : Alpha_context.Script.location * Alpha_context.Script.prim * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Undefined_unop : Alpha_context.Script.location * Alpha_context.Script.prim * Alpha_context.Script.expr -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Bad_return : Alpha_context.Script.location * unparsed_stack_ty * Alpha_context.Script.expr -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Bad_stack : Alpha_context.Script.location * Alpha_context.Script.prim * int * unparsed_stack_ty -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unmatched_branches : Alpha_context.Script.location * unparsed_stack_ty * unparsed_stack_ty -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | View_name_too_long of string
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Bad_view_name of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Ill_typed_view of {
    1. loc : Alpha_context.Script.location;
    2. actual : unparsed_stack_ty;
    3. expected : unparsed_stack_ty;
    }
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Duplicated_view_name of Alpha_context.Script.location
type context_desc =
  1. | Lambda
  2. | View
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Forbidden_instr_in_context of Alpha_context.Script.location * context_desc * Alpha_context.Script.prim
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Bad_stack_length
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Bad_stack_item of int
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Inconsistent_annotations of string * string
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Inconsistent_type_annotations : Alpha_context.Script.location * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Inconsistent_field_annotations of string * string
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unexpected_annotation of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Ungrouped_annotations of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_map_body : Alpha_context.Script.location * unparsed_stack_ty -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_map_block_fail of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_iter_body : Alpha_context.Script.location * unparsed_stack_ty * unparsed_stack_ty -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Type_too_large : Alpha_context.Script.location * int -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Pair_bad_argument of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unpair_bad_argument of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Dup_n_bad_argument of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Dup_n_bad_stack of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_constant : Alpha_context.Script.location * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_syntactic_constant : Alpha_context.Script.location * Alpha_context.Script.expr * string -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_contract of Alpha_context.Script.location * Alpha_context.Contract.t
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Invalid_big_map of Alpha_context.Script.location * Alpha_context.Big_map.Id.t
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Comparable_type_expected : Alpha_context.Script.location * Alpha_context.Script.expr -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Inconsistent_type_sizes : int * int -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Inconsistent_types : Alpha_context.Script.location option * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Inconsistent_memo_sizes : Alpha_context.Sapling.Memo_size.t * Alpha_context.Sapling.Memo_size.t -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unordered_map_keys of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unordered_set_values of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Duplicate_map_keys of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Duplicate_set_values of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Ill_typed_data : string option * Alpha_context.Script.expr * Alpha_context.Script.expr -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Ill_formed_type of string option * Alpha_context.Script.expr * Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Ill_typed_contract : Alpha_context.Script.expr * type_map -> Tezos_protocol_environment_alpha__Environment.Error_monad.error
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Deprecated_instruction of Alpha_context.Script.prim
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Typechecking_too_many_recursive_calls
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unparsing_too_many_recursive_calls
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unexpected_ticket of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unexpected_forged_value of Alpha_context.Script.location
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Non_dupable_type of Alpha_context.Script.location * Alpha_context.Script.expr
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Unparsing_invariant_violated
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