package tezos-protocol-002-PsYLVpVv

  1. Overview
  2. Docs
package tezos-protocol-002-PsYLVpVv
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 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 -> Alpha_context.Contract.t -> 'key -> ('key, 'value) Script_typed_ir.big_map -> (bool * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val big_map_get : Alpha_context.context -> Alpha_context.Contract.t -> 'key -> ('key, 'value) Script_typed_ir.big_map -> ('value option * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) 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_002_PsYLVpVv__Environment.Error_monad.error list) result
val parse_data : ?type_logger:type_logger -> Alpha_context.context -> 'a Script_typed_ir.ty -> Alpha_context.Script.node -> ('a * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) 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_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val parse_ty : Alpha_context.context -> allow_big_map:bool -> allow_operation:bool -> Alpha_context.Script.node -> (ex_ty * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result
val unparse_ty : Alpha_context.context -> 'a Script_typed_ir.ty -> (Alpha_context.Script.node * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val parse_toplevel : Alpha_context.Script.expr -> (Alpha_context.Script.node * Alpha_context.Script.node * Alpha_context.Script.node, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result
val typecheck_code : Alpha_context.context -> Alpha_context.Script.expr -> (Script_tc_errors.type_map * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) 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_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val parse_script : ?type_logger:type_logger -> Alpha_context.context -> Alpha_context.Script.t -> (ex_script * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) 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_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val parse_contract : Alpha_context.context -> Alpha_context.Script.location -> 'a Script_typed_ir.ty -> Alpha_context.Contract.t -> (Alpha_context.context * 'a Script_typed_ir.typed_contract, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val parse_contract_for_script : Alpha_context.context -> Alpha_context.Script.location -> 'a Script_typed_ir.ty -> Alpha_context.Contract.t -> (Alpha_context.context * 'a Script_typed_ir.typed_contract option, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
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_002_PsYLVpVv__Environment.Error_monad.error list) 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_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val extract_big_map : 'a Script_typed_ir.ty -> 'a -> Script_typed_ir.ex_big_map option
val diff_of_big_map : Alpha_context.context -> unparsing_mode -> Script_typed_ir.ex_big_map -> (Alpha_context.Contract.big_map_diff * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val erase_big_map_initialization : Alpha_context.context -> unparsing_mode -> Alpha_context.Script.t -> (Alpha_context.Script.t * Alpha_context.Contract.big_map_diff option * Alpha_context.context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t