package tezos-protocol-alpha
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
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.