package tezos-protocol-008-PtEdo2Zk

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

Install

Dune Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-008-PtEdo2Zk.raw/Tezos_raw_protocol_008_PtEdo2Zk/Script_ir_translator/index.html

Module Tezos_raw_protocol_008_PtEdo2Zk.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_PtEdo2Zk.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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct