Text.Ponder.Prim

Documentation

type ParserT s e m a = StateT s (ErrorT e m) a

andP :: Monad m => StateT s m a -> StateT s m ()

notP :: (Monad m, Error e) => ParserT s e m a -> ParserT s e m ()