package tezos-protocol-007-PsDELPH1

  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_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Reject of Alpha_context.Script.location * Alpha_context.Script.expr * execution_trace option
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Overflow of Alpha_context.Script.location * execution_trace option
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Runtime_contract_error : Alpha_context.Contract.t * Alpha_context.Script.expr -> Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Bad_contract_parameter of Alpha_context.Contract.t
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Cannot_serialize_log
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Cannot_serialize_failure
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Cannot_serialize_storage
type Tezos_protocol_environment_007_PsDELPH1__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. big_map_diff : Alpha_context.Contract.big_map_diff option;
  4. operations : Alpha_context.packed_internal_operation list;
}
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_007_PsDELPH1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val execute : Alpha_context.t -> Script_ir_translator.unparsing_mode -> step_constants -> script:Alpha_context.Script.t -> entrypoint:string -> parameter:Alpha_context.Script.expr -> (execution_result, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val trace : Alpha_context.t -> Script_ir_translator.unparsing_mode -> step_constants -> script:Alpha_context.Script.t -> entrypoint:string -> parameter:Alpha_context.Script.expr -> (execution_result * execution_trace, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.