Safe Haskell | None |
---|
Documentation
newtype ParserT w c m a Source
(Monad m, Monoid w) => MonadError Void (ParserT w c m) | |
(Monoid w, Monad m) => MonadWriter w (ParserT w c m) | |
(Monoid w, Monad m) => MonadState [c] (ParserT w c m) | |
(Unit m, Monoid w) => Unit (ParserT w c m) | |
(Monoid w, Monad m) => Monad (ParserT w c m) | |
(Monoid w, Monad m) => Applicative (ParserT w c m) | |
Functor m => Functor (ParserT w c m) | |
(Monoid w, MonadFix m) => MonadFix (ParserT w c m) | |
(Monoid w, Monad m) => Monoid (ParserT w c m a) | |
(Monoid w, Monad m) => Semigroup (ParserT w c m a) |
_parser :: (Functor f, Bifunctor p) => p (ParserT w c Id a) (f (ParserT w c Id a)) -> p ([c] -> (w, [([c], a)])) (f ([c] -> (w, [([c], a)])))Source
chain :: (Semigroup (f a), Applicative f) => f (a1 -> a -> a) -> f a1 -> f a -> f aSource