package tezos-protocol-001-PtCJ7pwo

  1. Overview
  2. Docs
package tezos-protocol-001-PtCJ7pwo
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_001_PtCJ7pwo__Environment.Error_monad.error +=
  1. | Reject of Alpha_context.Script.location * Alpha_context.Script.expr * execution_trace option
type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=
  1. | Overflow of Alpha_context.Script.location * execution_trace option
type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=
  1. | Runtime_contract_error : Alpha_context.Contract.t * Alpha_context.Script.expr -> Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error
type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=
  1. | Bad_contract_parameter of Alpha_context.Contract.t
type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=
  1. | Cannot_serialize_log
type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=
  1. | Cannot_serialize_failure
type Tezos_protocol_environment_001_PtCJ7pwo__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_001_PtCJ7pwo__Environment.Error_monad.error list) 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_001_PtCJ7pwo__Environment.Error_monad.error list) result Lwt.t