package tezos-protocol-002-PsYLVpVv

  1. Overview
  2. Docs
package tezos-protocol-002-PsYLVpVv
Legend:
Library
Module
Module type
Parameter
Class
Class type
type execution_trace = (Alpha_context.Script.location * Alpha_context.Gas.t * (Alpha_context.Script.expr * string option) list) list
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Reject of Alpha_context.Script.location * Alpha_context.Script.expr * execution_trace option
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Overflow of Alpha_context.Script.location * execution_trace option
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Runtime_contract_error : Alpha_context.Contract.t * Alpha_context.Script.expr -> Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Bad_contract_parameter of Alpha_context.Contract.t
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Cannot_serialize_log
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Cannot_serialize_failure
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Cannot_serialize_storage
type execution_result = {
  1. ctxt : Alpha_context.context;
  2. storage : Alpha_context.Script.expr;
  3. big_map_diff : Alpha_context.Contract.big_map_diff option;
  4. operations : Alpha_context.packed_internal_operation list;
}
val execute : Alpha_context.t -> Script_ir_translator.unparsing_mode -> source:Alpha_context.Contract.t -> payer:Alpha_context.Contract.t -> self:(Alpha_context.Contract.t * Alpha_context.Script.t) -> parameter:Alpha_context.Script.expr -> amount:Alpha_context.Tez.t -> (execution_result, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) Stdlib.result Lwt.t
val trace : Alpha_context.t -> Script_ir_translator.unparsing_mode -> source:Alpha_context.Contract.t -> payer:Alpha_context.Contract.t -> self:(Alpha_context.Contract.t * Alpha_context.Script.t) -> parameter:Alpha_context.Script.expr -> amount:Alpha_context.Tez.t -> (execution_result * execution_trace, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) 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