package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type
  • returns

    an error Unexpected_annotation in the monad the list is not empty.

check_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.

Check a type annotation only.

Check a field annotation only.

val check_composed_type_annot : Alpha_context.Script.location -> string list -> unit Tezos_protocol_environment_alpha.Error_monad.tzresult

Check an annotation for composed types, of the form :ty_name %field1 %field2 in any order.

Checks whether a node has a field annotation.

Removes a field annotation from a node.

Extract and remove a field annotation as an entrypoint from a node

Instruction annotations parsing

Check a variable annotation.

val is_allowed_char : char -> bool

Parses 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".

Parse 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".

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct