Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- note :: forall tag le. KnownAnnTag tag => Parser le (Annotation tag)
- 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))
- 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)
Documentation
note :: forall tag le. KnownAnnTag tag => Parser le (Annotation tag) Source #
General TVF Annotation parser, including Special Annotations
noteDef :: KnownAnnTag tag => Parser le (Annotation tag) Source #
notesVVFF :: Parser le ((VarAnn, VarAnn), (FieldAnn, FieldAnn)) Source #
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.
permute2Def :: (Default a, Default b, Monad f, Alternative f) => f a -> f b -> f (a, b) Source #
permute3Def :: (Default a, Default b, Default c, Monad f, Alternative f) => f a -> f b -> f c -> f (a, b, c) Source #