package tezos-protocol-008-PtEdo2Zk

  1. Overview
  2. Docs
package tezos-protocol-008-PtEdo2Zk
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Traced_interpreter : sig ... end
val run_code : 'a Tezos_protocol_environment_008_PtEdo2Zk__Environment.RPC_context.simple -> 'a -> ?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 list) result Lwt.t
val trace_code : 'a Tezos_protocol_environment_008_PtEdo2Zk__Environment.RPC_context.simple -> 'a -> ?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 * Script_interpreter.execution_trace * Alpha_context.Lazy_storage.diffs option, Tezos_error_monad.TzCore.error list) result Lwt.t
val typecheck_code : 'a Tezos_protocol_environment_008_PtEdo2Zk__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 list) result Lwt.t
val typecheck_data : 'a Tezos_protocol_environment_008_PtEdo2Zk__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 list) result Lwt.t
val pack_data : 'a Tezos_protocol_environment_008_PtEdo2Zk__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 list) result Lwt.t
val run_operation : 'a Tezos_protocol_environment_008_PtEdo2Zk__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 list) result Lwt.t
val entrypoint_type : 'a Tezos_protocol_environment_008_PtEdo2Zk__Environment.RPC_context.simple -> 'a -> script:Alpha_context.Script.expr -> entrypoint:string -> (Alpha_context.Script.expr, Tezos_error_monad.TzCore.error list) result Lwt.t
val list_entrypoints : 'a Tezos_protocol_environment_008_PtEdo2Zk__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 list) result Lwt.t