package tezos-protocol-alpha
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Script_ir_unparser/Data_unparser/index.html
Module Script_ir_unparser.Data_unparserSource
Parameters
module P : MICHELSON_PARSERSignature
val unparse_data :
Alpha_context.context ->
stack_depth:int ->
unparsing_mode ->
('a, 'ac) Script_typed_ir.ty ->
'a ->
(Alpha_context.Script.expr * Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tunparse_data ctxt ~stack_depth unparsing_mode ty data returns the Micheline representation of data of type ty, consuming an appropriate amount of gas from ctxt.
val unparse_items :
Alpha_context.context ->
stack_depth:int ->
unparsing_mode ->
'k Script_typed_ir.comparable_ty ->
('v, 'vc) Script_typed_ir.ty ->
('k * 'v) list ->
(Alpha_context.Script.expr list * Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tunparse_items ctxt ~stack_depth unparsing_mode kty vty assoc returns the Micheline representation of assoc (being an association list) with keys of type kty and values of type vty. Gas is being consumed from ctxt.
val unparse_code :
Alpha_context.context ->
stack_depth:int ->
unparsing_mode ->
Alpha_context.Script.node ->
(Alpha_context.Script.expr * Alpha_context.context,
Tezos_protocol_environment_alpha.Error_monad.error
Tezos_protocol_environment_alpha.Error_monad.trace)
Tezos_protocol_environment_alpha.Pervasives.result
Tezos_protocol_environment_alpha.Lwt.tunparse_code ctxt ~stack_depth unparsing_mode code returns code with I_PUSH instructions parsed and unparsed back to make sure that only forgeable values are being pushed. The gas is being consumed from ctxt.
For benchmarking purpose, we also export versions of the unparsing functions which don't call location stripping. These functions are not carbonated and should not be called directly from the protocol.