Module `Helpers_services.Scripts`Source

Source

val run_code : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Script.expr ->
  (Alpha_context.Script.expr * Alpha_context.Script.expr * Alpha_context.Tez.t) ->
  (Alpha_context.Script.expr
   * Alpha_context.packed_internal_operation list
   * Alpha_context.Contract.big_map_diff option)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val trace_code : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Script.expr ->
  (Alpha_context.Script.expr * Alpha_context.Script.expr * Alpha_context.Tez.t) ->
  (Alpha_context.Script.expr
   * Alpha_context.packed_internal_operation list
   * Script_interpreter.execution_trace
   * Alpha_context.Contract.big_map_diff option)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val typecheck_code : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  (Alpha_context.Script.expr
   * Tezos_protocol_environment_003_PsddFKi3.Z.t option) ->
  (Script_tc_errors.type_map * Alpha_context.Gas.t)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val typecheck_data : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  (Alpha_context.Script.expr
   * Alpha_context.Script.expr
   * Tezos_protocol_environment_003_PsddFKi3.Z.t option) ->
  Alpha_context.Gas.t
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val pack_data : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  (Alpha_context.Script.expr
   * Alpha_context.Script.expr
   * Tezos_protocol_environment_003_PsddFKi3.Z.t option) ->
  (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * Alpha_context.Gas.t)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val run_operation : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.packed_operation ->
  (Alpha_context.packed_protocol_data * Apply_results.packed_operation_metadata)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

package tezos-protocol-003-PsddFKi3

Module Helpers_services.ScriptsSource

Module `Helpers_services.Scripts`Source