package tezos-protocol-013-PtJakart
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Script_ir_annot/index.html
Module Tezos_raw_protocol_013_PtJakart.Script_ir_annotSource
val error_unexpected_annot :
Alpha_context.Script.location ->
'a list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultcheck_xxx_annot functions below are remains from the past (they were called parse_xxx_annot before). They check that annotations are well-formed and, depending on different contexts, that only the annotations that are expected to be found are present. Hopefully we will relax this property soon.
val check_type_annot :
Alpha_context.Script.location ->
string list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultCheck a type annotation only.
val is_field_annot :
Alpha_context.Script.location ->
string ->
bool Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultCheck a field annotation only.
val check_composed_type_annot :
Alpha_context.Script.location ->
string list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultCheck an annotation for composed types, of the form :ty_name %field1 %field2 in any order.
val has_field_annot :
Alpha_context.Script.node ->
bool Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultChecks whether a node has a field annotation.
val remove_field_annot :
Alpha_context.Script.node ->
Alpha_context.Script.node
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultRemoves a field annotation from a node.
val extract_entrypoint_annot :
Alpha_context.Script.node ->
(Alpha_context.Script.node * Alpha_context.Entrypoint.t option)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultExtract and remove a field annotation as an entrypoint from a node
Instruction annotations parsing
val check_var_annot :
Alpha_context.Script.location ->
string list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultCheck a variable annotation.
val check_constr_annot :
Alpha_context.Script.location ->
string list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultval check_two_var_annot :
Alpha_context.Script.location ->
string list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultval check_destr_annot :
Alpha_context.Script.location ->
string list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultval check_unpair_annot :
Alpha_context.Script.location ->
string list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultval parse_entrypoint_annot_strict :
Alpha_context.Script.location ->
string list ->
Alpha_context.Entrypoint.t
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultParses a field annotation and converts it to an entrypoint. An error is returned if the annotation is too long or is "default". An empty annotation is converted to "default".
val parse_entrypoint_annot_lax :
Alpha_context.Script.location ->
string list ->
Alpha_context.Entrypoint.t
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultParse a field annotation and convert it to an entrypoint. An error is returned if the field annot is too long. An empty annotation is converted to "default".
val check_var_type_annot :
Alpha_context.Script.location ->
string list ->
unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult