package tezos-protocol-008-PtEdoTez

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-008-PtEdoTez.raw/Tezos_raw_protocol_008_PtEdoTez/Script_ir_translator/index.html

Module Tezos_raw_protocol_008_PtEdoTez.Script_ir_translatorSource

Sourcetype ('ta, 'tb) eq =
  1. | Eq : ('same, 'same) eq
Sourcetype ex_comparable_ty =
  1. | Ex_comparable_ty : 'a Script_typed_ir.comparable_ty -> ex_comparable_ty
Sourcetype ex_ty =
  1. | Ex_ty : 'a Script_typed_ir.ty -> ex_ty
Sourcetype ex_stack_ty =
  1. | Ex_stack_ty : 'a Script_typed_ir.stack_ty -> ex_stack_ty
Sourcetype ex_script =
  1. | Ex_script : ('a, 'b) Script_typed_ir.script -> ex_script
Sourcetype ('arg, 'storage) code = {
  1. code : (('arg, 'storage) Script_typed_ir.pair, (Script_typed_ir.operation Script_typed_ir.boxed_list, 'storage) Script_typed_ir.pair) Script_typed_ir.lambda;
  2. arg_type : 'arg Script_typed_ir.ty;
  3. storage_type : 'storage Script_typed_ir.ty;
  4. root_name : Script_typed_ir.field_annot option;
}
Sourcetype ex_code =
  1. | Ex_code : ('a, 'c) code -> ex_code
Sourcetype tc_context =
  1. | Lambda : tc_context
  2. | Dip : 'a Script_typed_ir.stack_ty * tc_context -> tc_context
  3. | Toplevel : {
    1. storage_type : 'sto Script_typed_ir.ty;
    2. param_type : 'param Script_typed_ir.ty;
    3. root_name : Script_typed_ir.field_annot option;
    4. legacy_create_contract_literal : bool;
    } -> tc_context
Sourcetype 'bef judgement =
  1. | Typed : ('bef, 'aft) Script_typed_ir.descr -> 'bef judgement
  2. | Failed : {
    1. descr : 'aft. 'aft Script_typed_ir.stack_ty -> ('bef, 'aft) Script_typed_ir.descr;
    } -> 'bef judgement
Sourcetype unparsing_mode =
  1. | Optimized
  2. | Readable
  3. | Optimized_legacy
Sourceval 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
Sourceval map_fold : ('key -> 'value -> 'acc -> 'acc) -> ('key, 'value) Script_typed_ir.map -> 'acc -> 'acc
Sourceval 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
Sourceval big_map_update : 'key -> 'value option -> ('key, 'value) Script_typed_ir.big_map -> ('key, 'value) Script_typed_ir.big_map
Sourceval compare_comparable : 'a Script_typed_ir.comparable_ty -> 'a -> 'a -> int

parse_ty specialized for the right-hand side part of a big map type, i.e. the `value` in `big_map key value`.

Sourceval parse_ty : Alpha_context.context -> legacy:bool -> allow_lazy_storage:bool -> allow_operation:bool -> allow_contract:bool -> allow_ticket:bool -> Alpha_context.Script.node -> (ex_ty * Alpha_context.context) Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult

We expose parse_ty for convenience to external tools. Please use specialized versions such as parse_packable_ty, parse_parameter_ty, parse_comparable_ty, or parse_big_map_value_ty if possible.

Combines parse_code and parse_storage

Sourcetype lazy_storage_ids
Sourceval no_lazy_storage_id : lazy_storage_ids
Sourceval list_of_big_map_ids : lazy_storage_ids -> Alpha_context.Big_map.Id.t list