Michelson.Parser.Annotations

Documentation

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

General TVF Annotation parser, including Special Annotations

noteF :: Parser FieldAnn

noteV :: Parser VarAnn

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

noteV2Def :: Parser (VarAnn, VarAnn)

notesTVF :: Parser (TypeAnn, VarAnn, FieldAnn)

notesTVF2 :: Parser (TypeAnn, VarAnn, (FieldAnn, FieldAnn))

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

notesTV :: Parser (TypeAnn, VarAnn)

notesTF :: Parser (TypeAnn, FieldAnn)

notesVF :: Parser (VarAnn, FieldAnn)

fieldType :: Default a => Parser a -> Parser (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)