package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val run_code : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> ?unparsing_mode:Script_ir_translator.unparsing_mode -> ?gas:Alpha_context.Gas.Arith.integral -> ?entrypoint:string -> script:Alpha_context.Script.expr -> storage:Alpha_context.Script.expr -> input:Alpha_context.Script.expr -> amount:Alpha_context.Tez.t -> balance:Alpha_context.Tez.t -> chain_id:Tezos_crypto.Chain_id.t -> source:Alpha_context.Contract.t option -> payer:Alpha_context.Contract.t option -> (Alpha_context.Script.expr * Alpha_context.packed_internal_operation list * Alpha_context.Lazy_storage.diffs option, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
val typecheck_code : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> ?gas:Alpha_context.Gas.Arith.integral -> ?legacy:bool -> script:Alpha_context.Script.expr -> (Script_tc_errors.type_map * Alpha_context.Gas.t, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
val typecheck_data : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> ?gas:Alpha_context.Gas.Arith.integral -> ?legacy:bool -> data:Alpha_context.Script.expr -> ty:Alpha_context.Script.expr -> (Alpha_context.Gas.t, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
val pack_data : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> ?gas:Alpha_context.Gas.Arith.integral -> data:Alpha_context.Script.expr -> ty:Alpha_context.Script.expr -> (bytes * Alpha_context.Gas.t, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
val normalize_data : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> ?legacy:bool -> data:Alpha_context.Script.expr -> ty:Alpha_context.Script.expr -> unparsing_mode:Script_ir_translator.unparsing_mode -> (Alpha_context.Script.expr, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
val normalize_script : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> script:Alpha_context.Script.expr -> unparsing_mode:Script_ir_translator.unparsing_mode -> (Alpha_context.Script.expr, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
val run_operation : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> op:Alpha_context.packed_operation -> chain_id:Tezos_crypto.Chain_id.t -> (Alpha_context.packed_protocol_data * Apply_results.packed_operation_metadata, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
val entrypoint_type : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> script:Alpha_context.Script.expr -> entrypoint:string -> (Alpha_context.Script.expr, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
val list_entrypoints : 'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple -> 'a -> script:Alpha_context.Script.expr -> (Michelson_v1_primitives.prim list list * (string * Alpha_context.Script.expr) list, Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.