Generic TypeFieldVariable Annotation

As per Michelson documentation, this type has an invariant: (except for the first character, here parametrized in the type tag) the allowed character set is the one matching the following regexp: %|%%|%|[:%][_0-9a-zA-Z][_0-9a-zA-Z.%@]*

Either one or two variable annotations

Unidirectional pattern synonym used to pattern-match on Annotation without invoking UnsafeAnnotation

An AnnotationSet contains all the typefieldvariable Annotations , with each group in order, associated with an entity. Note that in its rendering/show instances the unnecessary annotations will be omitted, as well as in some of the functions operating with it. Necessary Annotations are the ones strictly required for a consistent representation. In particular, for each group (tfv): - if all annotations are noAnn they are all omitted - if one or more noAnn follow a non-empty Annotation, they are omitted - if one or more noAnn precede a non-empty Annotation, they are kept - every non-empty Annotation is obviously kept This is why order for each group is important as well as separation of different groups of Annotations.

Returns the number of annotations in AnnotationSet for each type.

An AnnotationSet without any Annotation.

Returns the first annotation in a list of annotations of a specific type in AnnotationSet, or noAnn if this list is empty.

An AnnotationSet built from all 3 kinds of Annotation.

Returns True if all Annotations in the Set are unnecessaryemptynoAnn. False otherwise.

Returns the amount of Annotations that are necessary for a consistent representation. See AnnotationSet.

Returns the second annotation in a list of annotations of a specific type in AnnotationSet, or noAnn if this list contains less than 2 elements.

An AnnotationSet with only a single Annotation (of any kind).

An AnnotationSet with several Annotations of the same kind.

Removes all unnecessary Annotations. See AnnotationSet.

A constraint representing that type-level annotation tag is known at compile-time

A convenience synonym for type Annotation

A convenience synonym for field Annotation

A convenience synonym for variable Annotation

Field annotation for the entire parameter.

Type-level tag for type annotations

Type-level tag for field annotations

Type-level tag for variable annotations

Datatype representing arbitrary annotation.

Empty Annotation, i.e. no annotation

>>> :t [annQ||]
... :: forall {k} {tag :: k}. Annotation tag

>>> :t [annQ|abc|]
... :: forall {k} {tag :: k}. Annotation tag

>>> :t [varAnnQ||]
... :: VarAnn

>>> :t [varAnnQ|abc|]
... :: VarAnn

>>> :t [fieldAnnQ||]
... :: FieldAnn

>>> :t [fieldAnnQ|abc|]
... :: FieldAnn

>>> :t [typeAnnQ||]
... :: TypeAnn

>>> :t [typeAnnQ|abc|]
... :: TypeAnn

Makes an Annotation from its textual value, prefix (%@:) excluded Returns a Text error message if the given Text contains invalid characters

List of all the special Variable Annotations, only allowed in CAR and CDR instructions, prefix (@) excluded. These do not respect the rules of isValidAnnStart and isValidAnnBodyChar.

The only special Field Annotation, only allowed in PAIR, LEFT and RIGHT instructions, prefix (%) excluded. This does not respect the rules of isValidAnnStart and isValidAnnBodyChar.

Checks if a Char is valid to be the first of an annotation, prefix (%@:) excluded, the ones following should be checked with isValidAnnBodyChar instead. Note that this does not check Special Annotations, see specialVarAnns and specialFieldAnn

Checks if a Char is valid to be part of an annotation, following a valid first character (see isValidAnnStart) and the prefix (%@:). Note that this does not check Special Annotations, see specialVarAnns and specialFieldAnn