Module
Text.Parsing.Classes
- Package
- purescript-parsers
- Repository
- mlang/purescript-parsers
#Parsing Source
class (Alternative m) <= Parsing m where
Members
try :: forall a. m a -> m a
withErrorMessage :: forall a. m a -> String -> m a
unexpected :: forall a. String -> m a
eof :: m Unit
notFollowedBy :: forall a. m a -> m Unit
Instances
(StringLike s, Monad m) => Parsing (ParserT s m)
Parsing Parser
(Monoid e, Monad m, Parsing m) => Parsing (ExceptT e m)
(Monad m, Parsing m) => Parsing (MaybeT m)
(Parsing m, Monad m) => Parsing (ReaderT e m)
(Parsing m, Monad m, Monoid w) => Parsing (RWST r w s m)
(Parsing m, Monad m) => Parsing (StateT s m)
(Parsing m, Monad m, Monoid w) => Parsing (WriterT w m)
#asErrorMessage Source
asErrorMessage :: forall a m. Parsing m => String -> m a -> m a
#(<?>) Source
Operator alias for Text.Parsing.Classes.withErrorMessage (non-associative / precedence 3)
#(<??>) Source
Operator alias for Text.Parsing.Classes.asErrorMessage (non-associative / precedence 3)
#CharParsing Source
class (Parsing m) <= CharParsing m where
Members
satisfy :: (Char -> Boolean) -> m Char
char :: Char -> m Char
notChar :: Char -> m Char
anyChar :: m Char
Instances
(StringLike s, Monad m) => CharParsing (ParserT s m)
CharParsing Parser
(Monoid e, CharParsing m, Monad m) => CharParsing (ExceptT e m)
(CharParsing m, Monad m) => CharParsing (MaybeT m)
(CharParsing m, Monad m) => CharParsing (ReaderT e m)
(CharParsing m, Monad m, Monoid w) => CharParsing (RWST r w s m)
(CharParsing m, Monad m) => CharParsing (StateT s m)
(CharParsing m, Monad m, Monoid w) => CharParsing (WriterT w m)
#LookAheadParsing Source
class (Parsing m) <= LookAheadParsing m where
Members
lookAhead :: forall a. m a -> m a
Instances
(StringLike s, Monad m) => LookAheadParsing (ParserT s m)
LookAheadParsing Parser
(Monoid e, LookAheadParsing m, Monad m) => LookAheadParsing (ExceptT e m)
(LookAheadParsing m, Monad m) => LookAheadParsing (MaybeT m)
(LookAheadParsing m, Monad m) => LookAheadParsing (ReaderT e m)
(LookAheadParsing m, Monad m, Monoid w) => LookAheadParsing (RWST r w s m)
(LookAheadParsing m, Monad m) => LookAheadParsing (StateT e m)
(LookAheadParsing m, Monad m, Monoid w) => LookAheadParsing (WriterT w m)