| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Michelson.Parser.Annotations
Synopsis
- note :: forall tag. KnownAnnTag tag => Parser (Annotation tag)
- 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)
Documentation
note :: forall tag. KnownAnnTag tag => Parser (Annotation tag) Source #
General TVF Annotation parser, including Special Annotations
noteDef :: KnownAnnTag tag => Parser (Annotation tag) Source #
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 #