Morley.Michelson.Parser.Annotations

Documentation

note :: forall tag le. KnownAnnTag tag => Parser le (Annotation tag)

General TVF Annotation parser, including Special Annotations

noteF :: Parser le FieldAnn

noteV :: Parser le VarAnn

noteDef :: KnownAnnTag tag => Parser le (Annotation tag)

noteV2Def :: Parser le (VarAnn, VarAnn)

notesTVF :: Parser le (TypeAnn, VarAnn, FieldAnn)

notesTVF2Def :: Parser le (TypeAnn, VarAnn, (FieldAnn, FieldAnn))

notesVVFF :: Parser le ((VarAnn, VarAnn), (FieldAnn, FieldAnn))

Parse 012 var anns and 012 field anns. It doesn't matter which come first, so long as annotations of the same type appear together.

E.g.:

• "" is valid
• "%a" is valid
• "%a @c" is valid
• "%a %b c d" is valid
• "c d %a %b" is valid
• "c %a %b d" is not valid, because the two var anns are not "grouped" together.
• "%a c d %b" is not valid, because the two fields anns are not "grouped" together.

notesTV :: Parser le (TypeAnn, VarAnn)

notesTF :: Parser le (TypeAnn, FieldAnn)

notesVF :: Parser le (VarAnn, FieldAnn)

fieldType :: Default a => Parser le a -> Parser le (a, TypeAnn)

permute2Def :: (Default a, Default b, Monad f, Alternative f) => f a -> f b -> f (a, b)

permute3Def :: (Default a, Default b, Default c, Monad f, Alternative f) => f a -> f b -> f c -> f (a, b, c)