| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Ltml.Tree.Parser
Synopsis
- data TreeParser a
- type FootnoteTreeParser = FootnoteWriterT TreeParser
- runTreeParser :: TreeParser a -> Either TreeError a
- class MonadFail m => MonadTreeParser (m :: Type -> Type) where
- treeParser :: Either TreeError a -> m a
- newtype TreeError = TreeError String
- leafParser :: Parser a -> Text -> TreeParser (Parsed a)
- leafFootnoteParser :: FootnoteParser a -> Text -> FootnoteTreeParser (Parsed a)
- flaggedTreePF :: (MonadTreeParser m, ProperNodeKind t) => (t -> Tree flag a b -> m c) -> t -> FlaggedTree flag a b -> m (Flagged flag c)
- nFlaggedTreePF :: (MonadTreeParser m, RawProperNodeKind t) => (t -> Tree flag a b -> m c) -> NamedType t -> FlaggedTree flag a b -> m (Flagged flag c)
- disjFlaggedTreePF :: (MonadTreeParser m, ProperNodeKind t) => (t -> Tree flag a b -> m c) -> Disjunction t -> FlaggedTree flag a b -> m (Flagged flag c)
- disjNFlaggedTreePF :: (MonadTreeParser m, RawProperNodeKind t) => (t -> Tree flag a b -> m c) -> Disjunction (NamedType t) -> FlaggedTree flag a b -> m (Flagged flag c)
Documentation
data TreeParser a Source #
Instances
| MonadTreeParser TreeParser Source # | |
Defined in Language.Ltml.Tree.Parser Methods treeParser :: Either TreeError a -> TreeParser a Source # | |
| MonadFail TreeParser Source # | |
Defined in Language.Ltml.Tree.Parser Methods fail :: String -> TreeParser a # | |
| Applicative TreeParser Source # | |
Defined in Language.Ltml.Tree.Parser Methods pure :: a -> TreeParser a # (<*>) :: TreeParser (a -> b) -> TreeParser a -> TreeParser b # liftA2 :: (a -> b -> c) -> TreeParser a -> TreeParser b -> TreeParser c # (*>) :: TreeParser a -> TreeParser b -> TreeParser b # (<*) :: TreeParser a -> TreeParser b -> TreeParser a # | |
| Functor TreeParser Source # | |
Defined in Language.Ltml.Tree.Parser Methods fmap :: (a -> b) -> TreeParser a -> TreeParser b # (<$) :: a -> TreeParser b -> TreeParser a # | |
| Monad TreeParser Source # | |
Defined in Language.Ltml.Tree.Parser Methods (>>=) :: TreeParser a -> (a -> TreeParser b) -> TreeParser b # (>>) :: TreeParser a -> TreeParser b -> TreeParser b # return :: a -> TreeParser a # | |
runTreeParser :: TreeParser a -> Either TreeError a Source #
class MonadFail m => MonadTreeParser (m :: Type -> Type) where Source #
Methods
treeParser :: Either TreeError a -> m a Source #
Instances
| MonadTreeParser TreeParser Source # | |
Defined in Language.Ltml.Tree.Parser Methods treeParser :: Either TreeError a -> TreeParser a Source # | |
| MonadTreeParser m => MonadTreeParser (FootnoteWriterT m) Source # | |
Defined in Language.Ltml.Tree.Parser Methods treeParser :: Either TreeError a -> FootnoteWriterT m a Source # | |
An error that occurred parsing a tree's structure (not input text). The frontend should prohibit such errors, and thus treat such errors as internal / as bugs.
leafParser :: Parser a -> Text -> TreeParser (Parsed a) Source #
leafFootnoteParser :: FootnoteParser a -> Text -> FootnoteTreeParser (Parsed a) Source #
flaggedTreePF :: (MonadTreeParser m, ProperNodeKind t) => (t -> Tree flag a b -> m c) -> t -> FlaggedTree flag a b -> m (Flagged flag c) Source #
nFlaggedTreePF :: (MonadTreeParser m, RawProperNodeKind t) => (t -> Tree flag a b -> m c) -> NamedType t -> FlaggedTree flag a b -> m (Flagged flag c) Source #
disjFlaggedTreePF :: (MonadTreeParser m, ProperNodeKind t) => (t -> Tree flag a b -> m c) -> Disjunction t -> FlaggedTree flag a b -> m (Flagged flag c) Source #
disjNFlaggedTreePF :: (MonadTreeParser m, RawProperNodeKind t) => (t -> Tree flag a b -> m c) -> Disjunction (NamedType t) -> FlaggedTree flag a b -> m (Flagged flag c) Source #