Control.Monad.Trans.Parser

Parser types

data ResultM i m r

Constructors

FailM i String

DoneM i r

PartialM (ParserT i m r)

Instances

Monad m => Functor (ResultM i m)

toM :: Monad m => IResult i r -> ResultM i m r

newtype ParserT i m r

Constructors

ParserT

Fields

runParserT :: i -> m (ResultM i m r)

Instances

MonadTrans (ParserT i)

Monad m => Monad (ParserT i m)

Monad m => Functor (ParserT i m)

Monad m => Applicative (ParserT i m)

MonadIO m => MonadIO (ParserT i m)

liftIR :: (Monad m, Monoid i) => IResult i r -> ParserT i m r

liftP :: Monad m => (i -> IResult i r) -> ParserT i m r

Running parsers

feedM :: (Monad m, Monoid i) => ResultM i m r -> i -> m (ResultM i m r)

feedMWith :: (Monad m, Monoid i, Eq i) => m i -> ResultM i m r -> m (ResultM i m r)

runParserTOnly :: Monad m => ParserT i m r -> i -> m (Either String r)

runParserTWith :: (Monad m, Monoid i, Eq i) => m i -> ParserT i m r -> ParserT i m r

Merging transformers

runStateParserT :: Monad m => ParserT i (StateT r m) () -> r -> ParserT i m r

runWriterParserT :: (Monad m, Monoid r) => ParserT i (WriterT r m) () -> ParserT i m r

Result conversion

failResultM :: Monad m => ResultM i m r -> m r

zeroResultM :: MonadPlus m => ResultM i m r -> m r

maybeResultM :: ResultM i m r -> Maybe r

eitherResultM :: ResultM i m r -> Either String r