Module `Tezos_raw_protocol_011_PtHangz2.Script_interpreter_defs`Source

Sourcemodule Interp_costs = Michelson_v1_gas.Cost_of.Interpreter

val cost_of_instr : 
  'a 's 'r 'f. ('a, 's, 'r, 'f) Script_typed_ir.kinstr ->
  'a ->
  's ->
  Alpha_context.Gas.cost

Source

val cost_of_control : 
  'a 's 'r 'f. ('a, 's, 'r, 'f) Script_typed_ir.continuation ->
  Alpha_context.Gas.cost

Sourcetype local_gas_counter = int

Sourcetype outdated_context =

| OutDatedContext of Alpha_context.context

Source

val update_context : 
  int ->
  outdated_context ->
  Tezos_raw_protocol_011_PtHangz2__Alpha_context.t

Source

val update_local_gas_counter : 
  Tezos_raw_protocol_011_PtHangz2__Alpha_context.t ->
  int

Sourceval outdated : Alpha_context.context -> outdated_context

Sourceval context_from_outdated_context : outdated_context -> Alpha_context.context

Source

val use_gas_counter_in_ctxt : 
  outdated_context ->
  int ->
  (Tezos_raw_protocol_011_PtHangz2__Alpha_context.t ->
    ('a * Alpha_context.context, 'b)
      Tezos_protocol_environment_011_PtHangz2.Pervasives.result
      Tezos_protocol_environment_011_PtHangz2.Lwt.t) ->
  ('a * outdated_context * int, 'b)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Sourceval update_and_check : int -> Alpha_context.Gas.cost -> int option

Source

val consume : 
  int ->
  ('a, 'b, 'c, 'd) Script_typed_ir.kinstr ->
  'a ->
  'b ->
  int option

Source

val consume' : 
  outdated_context ->
  int ->
  Alpha_context.Gas.cost ->
  int Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult

Source

val consume_control : 
  int ->
  ('a, 'b, 'c, 'd) Script_typed_ir.continuation ->
  int option

Source

val log_entry : 
  Script_typed_ir.logger ->
  outdated_context ->
  int ->
  ('a, 'b, 'c, 'd) Script_typed_ir.kinstr ->
  'a ->
  'b ->
  unit

Source

val log_exit : 
  Script_typed_ir.logger ->
  outdated_context ->
  int ->
  ('a, 'b) Script_typed_ir.kinfo ->
  ('c, 'd, 'e, 'f) Script_typed_ir.kinstr ->
  'c ->
  'd ->
  unit

Source

val log_control : 
  Script_typed_ir.logger ->
  ('a, 'b, 'c, 'd) Script_typed_ir.continuation ->
  unit

Source

val get_log : 
  Script_typed_ir.logger option ->
  (Script_typed_ir.execution_trace option,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

val log_kinstr : 
  Script_typed_ir.logger ->
  ('a, 'b, 'c, 'd) Script_typed_ir.kinstr ->
  ('a, 'b, 'c, 'd) Script_typed_ir.kinstr

Source

val log_next_kinstr : 
  Script_typed_ir.logger ->
  ('a, 'b, 'c, 'd) Script_typed_ir.kinstr ->
  ('a, 'b, 'c, 'd) Script_typed_ir.kinstr

Sourceval id : 'a -> 'a

Source

val kundip : 
  'a 's 'e 'z 'c 'u 'd 'w 'b 't. ('a, 's, 'e, 'z, 'c, 'u, 'd, 'w)
                                   Script_typed_ir.stack_prefix_preservation_witness ->
  'c ->
  'u ->
  ('d, 'w, 'b, 't) Script_typed_ir.kinstr ->
  'a * 's * ('e, 'z, 'b, 't) Script_typed_ir.kinstr

Source

val apply : 
  outdated_context ->
  int ->
  'a Script_typed_ir.ty ->
  'a ->
  (('a, 'b) Script_typed_ir.pair, 'c) Script_typed_ir.lambda ->
  (('b, 'c) Script_typed_ir.lambda * outdated_context * int,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

val transfer : 
  (outdated_context * Script_typed_ir.step_constants) ->
  int ->
  Alpha_context.Tez.tez ->
  'a Script_typed_ir.ty ->
  'a ->
  Alpha_context.Contract.contract ->
  string ->
  ((Alpha_context.packed_internal_operation
    * Alpha_context.Lazy_storage.diffs option)
   * outdated_context
   * int,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

val create_contract : 
  (outdated_context * Script_typed_ir.step_constants) ->
  int ->
  'a Script_typed_ir.ty ->
  'b Script_typed_ir.ty ->
  (Alpha_context.Script.location, Alpha_context.Script.prim)
    Tezos_protocol_environment_011_PtHangz2.Micheline.node ->
  Script_typed_ir.view Script_typed_ir.SMap.t ->
  Script_typed_ir.field_annot option ->
  Tezos_protocol_environment_011_PtHangz2.Signature.Public_key_hash.t option ->
  Alpha_context.Tez.tez ->
  'a ->
  ((Alpha_context.packed_internal_operation
    * Alpha_context.Lazy_storage.diffs option)
   * Alpha_context.Contract.t
   * outdated_context
   * int,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

val unpack : 
  Tezos_raw_protocol_011_PtHangz2__Alpha_context.t ->
  ty:'a Script_typed_ir.ty ->
  bytes:bytes ->
  ('a option * Tezos_raw_protocol_011_PtHangz2__Alpha_context.t,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

val interp_stack_prefix_preserving_operation : 
  'a 's 'b 't 'c 'u 'd 'w 'result. ('a -> 's -> ('b * 't) * 'result) ->
  ('a, 's, 'b, 't, 'c, 'u, 'd, 'w)
    Script_typed_ir.stack_prefix_preservation_witness ->
  'c ->
  'u ->
  ('d * 'w) * 'result

Source

type ('a, 's, 'b, 't, 'r, 'f) step_type =
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  ('a, 's, 'b, 't) Script_typed_ir.kinstr ->
  ('b, 't, 'r, 'f) Script_typed_ir.continuation ->
  'a ->
  's ->
  ('r * 'f * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'm, 'n, 'o) kmap_exit_type =
  (('c, 'd, 'e, 'f) Script_typed_ir.continuation ->
    ('a, 'b, 'g, 'h) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('m * 'n, 'c * 'd, 'o, 'c * 'd) Script_typed_ir.kinstr
   * ('m * 'n) list
   * ('m, 'o) Script_typed_ir.map
   * 'm) ->
  (('m, 'o) Script_typed_ir.map, 'c * 'd, 'e, 'f) Script_typed_ir.continuation ->
  'o ->
  ('a * 'b) ->
  ('g * 'h * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'j, 'k) kmap_enter_type =
  (('a, 'b * 'c, 'd, 'e) Script_typed_ir.continuation ->
    ('a, 'b * 'c, 'd, 'e) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('j * 'k, 'b * 'c, 'a, 'b * 'c) Script_typed_ir.kinstr
   * ('j * 'k) list
   * ('j, 'a) Script_typed_ir.map) ->
  (('j, 'a) Script_typed_ir.map, 'b * 'c, 'd, 'e) Script_typed_ir.continuation ->
  'b ->
  'c ->
  ('d * 'e * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'i, 'j) klist_exit_type =
  (('a, 'b, 'c, 'd) Script_typed_ir.continuation ->
    ('a, 'b, 'c, 'd) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('i, 'a * 'b, 'j, 'a * 'b) Script_typed_ir.kinstr
   * 'i list
   * 'j list
   * local_gas_counter) ->
  ('j Script_typed_ir.boxed_list, 'a * 'b, 'c, 'd) Script_typed_ir.continuation ->
  'j ->
  ('a * 'b) ->
  ('c * 'd * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'j) klist_enter_type =
  (('b, 'a * 'c, 'd, 'e) Script_typed_ir.continuation ->
    ('b, 'a * 'c, 'd, 'e) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('j, 'a * 'c, 'b, 'a * 'c) Script_typed_ir.kinstr
   * 'j list
   * 'b list
   * local_gas_counter) ->
  ('b Script_typed_ir.boxed_list, 'a * 'c, 'd, 'e) Script_typed_ir.continuation ->
  'a ->
  'c ->
  ('d * 'e * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f, 'g) kloop_in_left_type =
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  ('c, 'd, 'e, 'f) Script_typed_ir.continuation ->
  ('a, 'g, 'c, 'd) Script_typed_ir.kinstr ->
  ('b, 'g, 'e, 'f) Script_typed_ir.continuation ->
  ('a, 'b) Script_typed_ir.union ->
  'g ->
  ('e * 'f * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'r, 'f, 's) kloop_in_type =
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  ('b, 'c, 'r, 'f) Script_typed_ir.continuation ->
  ('a, 's, 'b, 'c) Script_typed_ir.kinstr ->
  ('a, 's, 'r, 'f) Script_typed_ir.continuation ->
  bool ->
  ('a * 's) ->
  ('r * 'f * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 's, 'r, 'f) kiter_type =
  (('a, 's, 'r, 'f) Script_typed_ir.continuation ->
    ('a, 's, 'r, 'f) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('b, 'a * 's, 'a, 's) Script_typed_ir.kinstr * 'b list) ->
  ('a, 's, 'r, 'f) Script_typed_ir.continuation ->
  'a ->
  's ->
  ('r * 'f * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h) ilist_map_type =
  (('a, 'b, 'c, 'd) Script_typed_ir.continuation ->
    ('a, 'b, 'c, 'd) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('e, 'a * 'b, 'f, 'a * 'b) Script_typed_ir.kinstr
   * ('f Script_typed_ir.boxed_list, 'a * 'b, 'g, 'h) Script_typed_ir.kinstr) ->
  ('g, 'h, 'c, 'd) Script_typed_ir.continuation ->
  'e Script_typed_ir.boxed_list ->
  ('a * 'b) ->
  ('c * 'd * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f, 'g) ilist_iter_type =
  (('a, 'b, 'c, 'd) Script_typed_ir.continuation ->
    ('a, 'b, 'c, 'd) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('e, 'a * 'b, 'a, 'b) Script_typed_ir.kinstr
   * ('a, 'b, 'f, 'g) Script_typed_ir.kinstr) ->
  ('f, 'g, 'c, 'd) Script_typed_ir.continuation ->
  'e Script_typed_ir.boxed_list ->
  ('a * 'b) ->
  ('c * 'd * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f, 'g) iset_iter_type =
  (('a, 'b, 'c, 'd) Script_typed_ir.continuation ->
    ('a, 'b, 'c, 'd) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('e, 'a * 'b, 'a, 'b) Script_typed_ir.kinstr
   * ('a, 'b, 'f, 'g) Script_typed_ir.kinstr) ->
  ('f, 'g, 'c, 'd) Script_typed_ir.continuation ->
  'e Script_typed_ir.set ->
  ('a * 'b) ->
  ('c * 'd * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i) imap_map_type =
  (('a, 'b, 'c, 'd) Script_typed_ir.continuation ->
    ('a, 'b, 'c, 'd) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('e * 'f, 'a * 'b, 'g, 'a * 'b) Script_typed_ir.kinstr
   * (('e, 'g) Script_typed_ir.map, 'a * 'b, 'h, 'i) Script_typed_ir.kinstr) ->
  ('h, 'i, 'c, 'd) Script_typed_ir.continuation ->
  ('e, 'f) Script_typed_ir.map ->
  ('a * 'b) ->
  ('c * 'd * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h) imap_iter_type =
  (('a, 'b, 'c, 'd) Script_typed_ir.continuation ->
    ('a, 'b, 'c, 'd) Script_typed_ir.continuation) ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  (('e * 'f, 'a * 'b, 'a, 'b) Script_typed_ir.kinstr
   * ('a, 'b, 'g, 'h) Script_typed_ir.kinstr) ->
  ('g, 'h, 'c, 'd) Script_typed_ir.continuation ->
  ('e, 'f) Script_typed_ir.map ->
  ('a * 'b) ->
  ('c * 'd * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f) imul_teznat_type =
  Script_typed_ir.logger option ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  ((Alpha_context.Tez.t, 'a) Script_typed_ir.kinfo
   * (Alpha_context.Tez.t, 'b, 'c, 'd) Script_typed_ir.kinstr) ->
  ('c, 'd, 'e, 'f) Script_typed_ir.continuation ->
  Alpha_context.Tez.t ->
  (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'b) ->
  ('e * 'f * outdated_context * local_gas_counter,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f) imul_nattez_type =
  Script_typed_ir.logger option ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  ((Alpha_context.Script_int.n Alpha_context.Script_int.num, 'a)
     Script_typed_ir.kinfo
   * (Alpha_context.Tez.t, 'b, 'c, 'd) Script_typed_ir.kinstr) ->
  ('c, 'd, 'e, 'f) Script_typed_ir.continuation ->
  Alpha_context.Script_int.n Alpha_context.Script_int.num ->
  (Alpha_context.Tez.t * 'b) ->
  ('e * 'f * outdated_context * local_gas_counter,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f) ilsl_nat_type =
  Script_typed_ir.logger option ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  ((Alpha_context.Script_int.n Alpha_context.Script_int.num, 'a)
     Script_typed_ir.kinfo
   * (Alpha_context.Script_int.n Alpha_context.Script_int.num, 'b, 'c, 'd)
       Script_typed_ir.kinstr) ->
  ('c, 'd, 'e, 'f) Script_typed_ir.continuation ->
  Alpha_context.Script_int.n Alpha_context.Script_int.num ->
  (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'b) ->
  ('e * 'f * outdated_context * local_gas_counter,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f) ilsr_nat_type =
  Script_typed_ir.logger option ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  ((Alpha_context.Script_int.n Alpha_context.Script_int.num, 'a)
     Script_typed_ir.kinfo
   * (Alpha_context.Script_int.n Alpha_context.Script_int.num, 'b, 'c, 'd)
       Script_typed_ir.kinstr) ->
  ('c, 'd, 'e, 'f) Script_typed_ir.continuation ->
  Alpha_context.Script_int.n Alpha_context.Script_int.num ->
  (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'b) ->
  ('e * 'f * outdated_context * local_gas_counter,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b) ifailwith_type =
  Script_typed_ir.logger option ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  int ->
  'a Script_typed_ir.ty ->
  'a ->
  ('b,
    Tezos_protocol_environment_011_PtHangz2.Error_monad.error
      Tezos_protocol_environment_011_PtHangz2.Error_monad.trace)
    Tezos_protocol_environment_011_PtHangz2.Pervasives.result
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Source

type ('a, 'b, 'c, 'd, 'e, 'f, 'g) iexec_type =
  Script_typed_ir.logger option ->
  (outdated_context * Script_typed_ir.step_constants) ->
  local_gas_counter ->
  ('a, 'b, 'c, 'd) Script_typed_ir.kinstr ->
  ('c, 'd, 'e, 'f) Script_typed_ir.continuation ->
  'g ->
  (('g, 'a) Script_typed_ir.lambda * 'b) ->
  ('e * 'f * outdated_context * local_gas_counter)
    Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult
    Tezos_protocol_environment_011_PtHangz2.Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-011-PtHangz2.raw/Tezos_raw_protocol_011_PtHangz2/Script_interpreter_defs/index.html

Module `Tezos_raw_protocol_011_PtHangz2.Script_interpreter_defs`Source

package tezos-protocol-011-PtHangz2

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-011-PtHangz2.raw/Tezos_raw_protocol_011_PtHangz2/Script_interpreter_defs/index.html

Module Tezos_raw_protocol_011_PtHangz2.Script_interpreter_defsSource

Module `Tezos_raw_protocol_011_PtHangz2.Script_interpreter_defs`Source