package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
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.

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