package tezos-protocol-005-PsBabyM1

  1. Overview
  2. Docs
package tezos-protocol-005-PsBabyM1
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_005_PsBabyM1__Environment.Error_monad.error +=
  1. | Reject of Alpha_context.Script.location * Alpha_context.Script.expr * execution_trace option
type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=
  1. | Overflow of Alpha_context.Script.location * execution_trace option
type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=
  1. | Runtime_contract_error : Alpha_context.Contract.t * Alpha_context.Script.expr -> Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error
type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=
  1. | Bad_contract_parameter of Alpha_context.Contract.t
type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=
  1. | Cannot_serialize_log
type Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error +=
  1. | Cannot_serialize_failure
type Tezos_protocol_environment_005_PsBabyM1__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;
}
type 'tys stack =
  1. | Item : 'ty * 'rest stack -> ('ty * 'rest) stack
  2. | Empty : Script_typed_ir.end_of_stack stack
val step : ?log: execution_trace Tezos_protocol_environment_005_PsBabyM1__Environment.Pervasives.ref -> Alpha_context.context -> step_constants -> ('bef, 'aft) Script_typed_ir.descr -> 'bef stack -> ('aft stack * Alpha_context.context, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) 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_005_PsBabyM1__Environment.Error_monad.error list) 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_005_PsBabyM1__Environment.Error_monad.error list) result Lwt.t