package tezos-protocol-alpha

  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.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Script_ir_unparser/index.html

Module Tezos_raw_protocol_alpha.Script_ir_unparserSource

Sourcetype unparsing_mode =
  1. | Optimized
  2. | Readable
  3. | Optimized_legacy

Flag that drives unparsing of typed values to nodes.

  • Optimized_legacy must be kept backward-compatible in order to compute valid hashes (of big map keys).
  • Optimized may be used as long as the result can be read by Script_translator.parse_data.
  • Readable produces with string values instead of bytes when feasible.
Sourcetype ('ty, 'depth) comb_witness =
  1. | Comb_Pair : ('t, 'd) comb_witness -> (_ * 't, unit -> 'd) comb_witness
  2. | Comb_Any : (_, _) comb_witness

('t, 'd) comb_witness describes types of values belonging to a comb of type 't and size 'd.

Sourceval serialize_ty_for_error : ('a, 'b) Script_typed_ir.ty -> Alpha_context.Script.expr

serialize_ty_for_error ty returns the Micheline representation of ty suitable for rendering in an error message. Does not consume gas, since when this function is called, the operation must have already failed.

Sourceval serialize_stack_for_error : Alpha_context.context -> ('a, 'b) Script_typed_ir.stack_ty -> Alpha_context.Script.expr list

serialize_stack_for_error ctxt stack_ty returns a Micheline representation of stack_ty as a list of Micheline expressions ONLY IF gas is unlimited in ctxt. Otherwise returns an empty list.

unparse_ty ~loc ctxt ty returns the Micheline representation of a given type and an update context, where gas has been properly consumed.

Sourceval unparse_comparable_ty_uncarbonated : loc:'loc -> 'a Script_typed_ir.comparable_ty -> 'loc Alpha_context.Script.michelson_node

unparse_comparable_ty_uncarbonated ~loc ty returns the Michelson representation of comparable type ty without consuming gas.

Sourceval unparse_stack_uncarbonated : ('a, 's) Script_typed_ir.stack_ty -> Alpha_context.Script.expr list

unparse_stack_uncarbonated stack_ty returns the Micheline representation of stack_ty. Does not consume gas.

unparse_parameter_ty ~loc ctxt ty ~entrypoints is a specialised version of unparse_ty, which also analyses entrypoints in order to annotate the returned type with adequate annotations.

unparse_bls12_381_g1 ~loc ctxt bls returns the Micheline representation of bls and consumes gas from ctxt.

unparse_bls12_381_g1 ~loc ctxt bls returns the Micheline representation of bls and consumes gas from ctxt.

unparse_bls12_381_g1 ~loc ctxt bls returns the Micheline representation of bls and consumes gas from ctxt.

unparse_operation ~loc ctxt op returns the Micheline representation of op and consumes gas from ctxt. Useful only for producing execution traces in the interpreter.

unparse_with_data_encoding ~loc ctxt v gas_cost enc returns the bytes representation of v wrapped in Micheline.Bytes, consuming gas_cost from ctxt.

unparse_comparable_data ctxt unparsing_mode ty v returns the Micheline representation of v of type ty, consuming gas from ctxt.

unparse_contract ~loc ctxt unparsin_mode contract returns a Micheline representation of a given contract in a given unparsing_mode. Consumes gas ctxt.

Sourcemodule type MICHELSON_PARSER = sig ... end

MICHESLON_PARSER signature describes a set of dependencies required to unparse arbitrary values in the IR. Because some of those values contain just a Michelson code that does not need to be parsed immediately, unparsing them requires extracting information from that code – that's why we depend on the parser here.

Sourcemodule Data_unparser (P : MICHELSON_PARSER) : sig ... end