package tezos-protocol-alpha
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
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.