Text.Parsing.Classes

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 :: forall a m. Parsing m => String -> m a -> m a

Operator alias for Text.Parsing.Classes.withErrorMessage (non-associative / precedence 3)

Operator alias for Text.Parsing.Classes.asErrorMessage (non-associative / precedence 3)

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)

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)