package tezos-protocol-006-PsCARTHA

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('ta, 'tb) eq =
  1. | Eq : ('same, 'same) eq
type ex_comparable_ty =
  1. | Ex_comparable_ty : 'a Script_typed_ir.comparable_ty -> ex_comparable_ty
type ex_ty =
  1. | Ex_ty : 'a Script_typed_ir.ty -> ex_ty
type ex_stack_ty =
  1. | Ex_stack_ty : 'a Script_typed_ir.stack_ty -> ex_stack_ty
type ex_script =
  1. | Ex_script : ('a, 'b) Script_typed_ir.script -> ex_script
type tc_context =
  1. | Lambda : tc_context
  2. | Dip : 'a Script_typed_ir.stack_ty * tc_context -> tc_context
  3. | Toplevel : {
    1. storage_type : 'sto Script_typed_ir.ty;
    2. param_type : 'param Script_typed_ir.ty;
    3. root_name : string option;
    4. legacy_create_contract_literal : bool;
    } -> tc_context
type 'bef judgement =
  1. | Typed : ('bef, 'aft) Script_typed_ir.descr -> 'bef judgement
  2. | Failed : {
    1. descr : 'aft. 'aft Script_typed_ir.stack_ty -> ('bef, 'aft) Script_typed_ir.descr;
    } -> 'bef judgement
type unparsing_mode =
  1. | Optimized
  2. | Readable
val set_fold : ('elt -> 'acc -> 'acc) -> 'elt Script_typed_ir.set -> 'acc -> 'acc
val set_update : 'a -> bool -> 'a Script_typed_ir.set -> 'a Script_typed_ir.set
val set_mem : 'elt -> 'elt Script_typed_ir.set -> bool
val empty_map : 'a Script_typed_ir.comparable_ty -> ('a, 'b) Script_typed_ir.map
val map_fold : ('key -> 'value -> 'acc -> 'acc) -> ('key, 'value) Script_typed_ir.map -> 'acc -> 'acc
val map_update : 'a -> 'b option -> ('a, 'b) Script_typed_ir.map -> ('a, 'b) Script_typed_ir.map
val map_mem : 'key -> ('key, 'value) Script_typed_ir.map -> bool
val map_get : 'key -> ('key, 'value) Script_typed_ir.map -> 'value option
val map_key_ty : ('a, 'b) Script_typed_ir.map -> 'a Script_typed_ir.comparable_ty
val big_map_mem : Alpha_context.context -> 'key -> ('key, 'value) Script_typed_ir.big_map -> (bool * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val big_map_get : Alpha_context.context -> 'key -> ('key, 'value) Script_typed_ir.big_map -> ('value option * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val big_map_update : 'key -> 'value option -> ('key, 'value) Script_typed_ir.big_map -> ('key, 'value) Script_typed_ir.big_map
val ty_eq : Alpha_context.context -> 'ta Script_typed_ir.ty -> 'tb Script_typed_ir.ty -> (('ta Script_typed_ir.ty, 'tb Script_typed_ir.ty) eq * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
val compare_comparable : 'a Script_typed_ir.comparable_ty -> 'a -> 'a -> int
val parse_data : ?type_logger:type_logger -> Alpha_context.context -> legacy:bool -> 'a Script_typed_ir.ty -> Alpha_context.Script.node -> ('a * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val unparse_data : Alpha_context.context -> unparsing_mode -> 'a Script_typed_ir.ty -> 'a -> (Alpha_context.Script.node * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val parse_instr : ?type_logger:type_logger -> tc_context -> Alpha_context.context -> legacy:bool -> Alpha_context.Script.node -> 'bef Script_typed_ir.stack_ty -> ('bef judgement * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val parse_ty : Alpha_context.context -> legacy:bool -> allow_big_map:bool -> allow_operation:bool -> allow_contract:bool -> Alpha_context.Script.node -> (ex_ty * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
val parse_packable_ty : Alpha_context.context -> legacy:bool -> Alpha_context.Script.node -> (ex_ty * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
val unparse_ty : Alpha_context.context -> 'a Script_typed_ir.ty -> (Alpha_context.Script.node * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val parse_toplevel : legacy:bool -> Alpha_context.Script.expr -> (Alpha_context.Script.node * Alpha_context.Script.node * Alpha_context.Script.node * string option, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
val add_field_annot : [ `Field_annot of string ] option -> [ `Var_annot of string ] option -> Alpha_context.Script.node -> Alpha_context.Script.node
val typecheck_code : Alpha_context.context -> Alpha_context.Script.expr -> (Script_tc_errors.type_map * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val typecheck_data : ?type_logger:type_logger -> Alpha_context.context -> (Alpha_context.Script.expr * Alpha_context.Script.expr) -> (Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val parse_script : ?type_logger:type_logger -> Alpha_context.context -> legacy:bool -> Alpha_context.Script.t -> (ex_script * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val unparse_script : Alpha_context.context -> unparsing_mode -> ('a, 'b) Script_typed_ir.script -> (Alpha_context.Script.t * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val parse_contract : legacy:bool -> Alpha_context.context -> Alpha_context.Script.location -> 'a Script_typed_ir.ty -> Alpha_context.Contract.t -> entrypoint:string -> (Alpha_context.context * 'a Script_typed_ir.typed_contract, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val parse_contract_for_script : legacy:bool -> Alpha_context.context -> Alpha_context.Script.location -> 'a Script_typed_ir.ty -> Alpha_context.Contract.t -> entrypoint:string -> (Alpha_context.context * 'a Script_typed_ir.typed_contract option, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val find_entrypoint : 't Script_typed_ir.ty -> root_name:string option -> string -> ((Alpha_context.Script.node -> Alpha_context.Script.node) * ex_ty, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
module Entrypoints_map : sig ... end
val list_entrypoints : 't Script_typed_ir.ty -> Alpha_context.context -> root_name:string option -> (Michelson_v1_primitives.prim list list * (Michelson_v1_primitives.prim list * Alpha_context.Script.node) Entrypoints_map.t, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
val pack_data : Alpha_context.context -> 'a Script_typed_ir.ty -> 'a -> (Tezos_protocol_environment_structs.V0.M.MBytes.t * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val hash_data : Alpha_context.context -> 'a Script_typed_ir.ty -> 'a -> (Script_expr_hash.t * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
type big_map_ids
val no_big_map_id : big_map_ids
val collect_big_maps : Alpha_context.context -> 'a Script_typed_ir.ty -> 'a -> (big_map_ids * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
val list_of_big_map_ids : big_map_ids -> Z.t list
val extract_big_map_diff : Alpha_context.context -> unparsing_mode -> temporary:bool -> to_duplicate:big_map_ids -> to_update:big_map_ids -> 'a Script_typed_ir.ty -> 'a -> ('a * Alpha_context.Contract.big_map_diff option * Alpha_context.context, Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.