| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Morley.Michelson.Parser.Annotations
Synopsis
- note :: forall tag. KnownAnnTag tag => Parser (Annotation tag)
- anyNote :: Parser AnyAnn
- noteF :: Parser FieldAnn
- noteV :: Parser VarAnn
- noteDef :: KnownAnnTag tag => Parser (Annotation tag)
- noteV2Def :: Parser (VarAnn, VarAnn)
- notesTVF :: Parser (TypeAnn, VarAnn, FieldAnn)
- notesTVF2Def :: Parser (TypeAnn, VarAnn, (FieldAnn, FieldAnn))
- notesVVFF :: Parser ((VarAnn, 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)
Documentation
note :: forall tag. KnownAnnTag tag => Parser (Annotation tag) Source #
General TVF Annotation parser, including Special Annotations
noteDef :: KnownAnnTag tag => Parser (Annotation tag) Source #
notesVVFF :: Parser ((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
cd" is valid - "
cd %a %b" is valid - "
c %a %bd" is not valid, because the two var anns are not "grouped" together. - "%a
cd %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 #