package tezos-protocol-008-PtEdoTez

  1. Overview
  2. Docs
package tezos-protocol-008-PtEdoTez
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_008_PtEdoTez__Environment.Error_monad.error +=
  1. | Reject of Alpha_context.Script.location * Alpha_context.Script.expr * execution_trace option
type Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error +=
  1. | Overflow of Alpha_context.Script.location * execution_trace option
type Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error +=
  1. | Runtime_contract_error : Alpha_context.Contract.t * Alpha_context.Script.expr -> Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error
type Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error +=
  1. | Bad_contract_parameter of Alpha_context.Contract.t
type Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error +=
  1. | Cannot_serialize_failure
type Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error +=
  1. | Cannot_serialize_storage
type Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error +=
  1. | Michelson_too_many_recursive_calls
type execution_result = {
  1. ctxt : Alpha_context.context;
  2. storage : Alpha_context.Script.expr;
  3. lazy_storage_diff : Alpha_context.Lazy_storage.diffs option;
  4. operations : Alpha_context.packed_internal_operation list;
}
type step_constants = {
  1. source : Alpha_context.Contract.t;
  2. payer : Alpha_context.Contract.t;
  3. self : Alpha_context.Contract.t;
  4. amount : Alpha_context.Tez.t;
  5. chain_id : Tezos_base__TzPervasives.Chain_id.t;
}
module type STEP_LOGGER = sig ... end

STEP_LOGGER is the module type of logging modules as passed to the Michelson interpreter. Note that logging must be performed by side-effects on an underlying log structure.

type logger = (module STEP_LOGGER)
val step : logger -> Alpha_context.context -> step_constants -> ('bef, 'aft) Script_typed_ir.descr -> 'bef -> ('aft * Alpha_context.context, Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error list) Stdlib.result Lwt.t
val execute : ?logger:logger -> Alpha_context.t -> Script_ir_translator.unparsing_mode -> step_constants -> script:Alpha_context.Script.t -> entrypoint:string -> parameter:Alpha_context.Script.expr -> internal:bool -> (execution_result, Tezos_protocol_environment_008_PtEdoTez__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