package tezos-protocol-008-PtEdoTez

  1. Overview
  2. Docs
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.