Module `Tezos_raw_protocol_003_PsddFKi3.Script_ir_translator`Source

Sourcetype ('ta, 'tb) eq =

| Eq : ('same, 'same) eq

Sourcetype ex_comparable_ty =

| Ex_comparable_ty : 'a Script_typed_ir.comparable_ty -> ex_comparable_ty

Sourcetype ex_ty =

| Ex_ty : 'a Script_typed_ir.ty -> ex_ty

Sourcetype ex_stack_ty =

| Ex_stack_ty : 'a Script_typed_ir.stack_ty -> ex_stack_ty

Sourcetype ex_script =

| Ex_script : ('a, 'b) Script_typed_ir.script -> ex_script

Sourcetype unparsing_mode =

| Optimized
| Readable

Source

type type_logger =
  int ->
  (Alpha_context.Script.expr * Alpha_context.Script.annot) list ->
  (Alpha_context.Script.expr * Alpha_context.Script.annot) list ->
  unit

Sourceval empty_set : 'a Script_typed_ir.comparable_ty -> 'a Script_typed_ir.set

Source

val set_fold : 
  ('elt -> 'acc -> 'acc) ->
  'elt Script_typed_ir.set ->
  'acc ->
  'acc

Sourceval set_update : 'a -> bool -> 'a Script_typed_ir.set -> 'a Script_typed_ir.set

Sourceval set_mem : 'elt -> 'elt Script_typed_ir.set -> bool

Source

val set_size : 
  'elt Script_typed_ir.set ->
  Alpha_context.Script_int.n Alpha_context.Script_int.num

Source

val empty_map : 
  'a Script_typed_ir.comparable_ty ->
  ('a, 'b) Script_typed_ir.map

Source

val map_fold : 
  ('key -> 'value -> 'acc -> 'acc) ->
  ('key, 'value) Script_typed_ir.map ->
  'acc ->
  'acc

Source

val map_update : 
  'a ->
  'b option ->
  ('a, 'b) Script_typed_ir.map ->
  ('a, 'b) Script_typed_ir.map

Sourceval map_mem : 'key -> ('key, 'value) Script_typed_ir.map -> bool

Sourceval map_get : 'key -> ('key, 'value) Script_typed_ir.map -> 'value option

Source

val map_key_ty : 
  ('a, 'b) Script_typed_ir.map ->
  'a Script_typed_ir.comparable_ty

Source

val map_size : 
  ('a, 'b) Script_typed_ir.map ->
  Alpha_context.Script_int.n Alpha_context.Script_int.num

Source

val big_map_mem : 
  Alpha_context.context ->
  Alpha_context.Contract.t ->
  'key ->
  ('key, 'value) Script_typed_ir.big_map ->
  (bool * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val big_map_get : 
  Alpha_context.context ->
  Alpha_context.Contract.t ->
  'key ->
  ('key, 'value) Script_typed_ir.big_map ->
  ('value option * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val big_map_update : 
  'key ->
  'value option ->
  ('key, 'value) Script_typed_ir.big_map ->
  ('key, 'value) Script_typed_ir.big_map

Source

val ty_eq : 
  Alpha_context.context ->
  'ta Script_typed_ir.ty ->
  'tb Script_typed_ir.ty ->
  (('ta Script_typed_ir.ty, 'tb Script_typed_ir.ty) eq * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult

Source

val parse_data : 
  ?type_logger:type_logger ->
  Alpha_context.context ->
  'a Script_typed_ir.ty ->
  Alpha_context.Script.node ->
  ('a * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val unparse_data : 
  Alpha_context.context ->
  unparsing_mode ->
  'a Script_typed_ir.ty ->
  'a ->
  (Alpha_context.Script.node * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val parse_ty : 
  Alpha_context.context ->
  allow_big_map:bool ->
  allow_operation:bool ->
  Alpha_context.Script.node ->
  (ex_ty * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult

Source

val unparse_ty : 
  Alpha_context.context ->
  'a Script_typed_ir.ty ->
  (Alpha_context.Script.node * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val parse_toplevel : 
  Alpha_context.Script.expr ->
  (Alpha_context.Script.node
   * Alpha_context.Script.node
   * Alpha_context.Script.node)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult

Source

val typecheck_code : 
  Alpha_context.context ->
  Alpha_context.Script.expr ->
  (Script_tc_errors.type_map * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val typecheck_data : 
  ?type_logger:type_logger ->
  Alpha_context.context ->
  (Alpha_context.Script.expr * Alpha_context.Script.expr) ->
  Alpha_context.context
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val parse_script : 
  ?type_logger:type_logger ->
  Alpha_context.context ->
  Alpha_context.Script.t ->
  (ex_script * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val unparse_script : 
  Alpha_context.context ->
  unparsing_mode ->
  ('a, 'b) Script_typed_ir.script ->
  (Alpha_context.Script.t * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val parse_contract : 
  Alpha_context.context ->
  Alpha_context.Script.location ->
  'a Script_typed_ir.ty ->
  Alpha_context.Contract.t ->
  (Alpha_context.context * 'a Script_typed_ir.typed_contract)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val parse_contract_for_script : 
  Alpha_context.context ->
  Alpha_context.Script.location ->
  'a Script_typed_ir.ty ->
  Alpha_context.Contract.t ->
  (Alpha_context.context * 'a Script_typed_ir.typed_contract option)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val pack_data : 
  Alpha_context.context ->
  'a Script_typed_ir.ty ->
  'a ->
  (Tezos_protocol_environment_003_PsddFKi3.MBytes.t * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val hash_data : 
  Alpha_context.context ->
  'a Script_typed_ir.ty ->
  'a ->
  (Script_expr_hash.t * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val extract_big_map : 
  'a Script_typed_ir.ty ->
  'a ->
  Script_typed_ir.ex_big_map option

Source

val diff_of_big_map : 
  Alpha_context.context ->
  unparsing_mode ->
  Script_typed_ir.ex_big_map ->
  (Alpha_context.Contract.big_map_diff * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val erase_big_map_initialization : 
  Alpha_context.context ->
  unparsing_mode ->
  Alpha_context.Script.t ->
  (Alpha_context.Script.t
   * Alpha_context.Contract.big_map_diff option
   * Alpha_context.context)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-003-PsddFKi3.raw/Tezos_raw_protocol_003_PsddFKi3/Script_ir_translator/index.html

Module `Tezos_raw_protocol_003_PsddFKi3.Script_ir_translator`Source

package tezos-protocol-003-PsddFKi3

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-003-PsddFKi3.raw/Tezos_raw_protocol_003_PsddFKi3/Script_ir_translator/index.html

Module Tezos_raw_protocol_003_PsddFKi3.Script_ir_translatorSource

Module `Tezos_raw_protocol_003_PsddFKi3.Script_ir_translator`Source