package tezos-protocol-alpha

  1. Overview
  2. Docs
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.