Control.Monad.Parser

Documentation

module Control.Monad.Parser.Class

newtype ParserT s m a

Parser monad transformer.

Constructors

ParserT

Fields

• runParserT :: s -> m (ParseResult a s)

Instances

(Stream s, MonadState s' m) => MonadState s' (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

get :: ParserT s m s'

put :: s' -> ParserT s m ()

state :: (s' -> (a, s')) -> ParserT s m a

(Stream s, MonadReader r m) => MonadReader r (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

ask :: ParserT s m r

local :: (r -> r) -> ParserT s m a -> ParserT s m a

reader :: (r -> a) -> ParserT s m a

(Stream s, MonadError e m) => MonadError e (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

throwError :: e -> ParserT s m a

catchError :: ParserT s m a -> (e -> ParserT s m a) -> ParserT s m a

Stream s => MonadTrans (ParserT s)

Defined in Control.Monad.Trans.Parser

Methods

lift :: Monad m => m a -> ParserT s m a

(Stream s, Monad m) => Monad (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

(>>=) :: ParserT s m a -> (a -> ParserT s m b) -> ParserT s m b

(>>) :: ParserT s m a -> ParserT s m b -> ParserT s m b

return :: a -> ParserT s m a

Functor m => Functor (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

fmap :: (a -> b) -> ParserT s m a -> ParserT s m b

(<$) :: a -> ParserT s m b -> ParserT s m a

(Applicative m, Monad m, Stream s) => MonadFail (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

fail :: String -> ParserT s m a

(Stream s, Applicative m, Monad m) => Applicative (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

pure :: a -> ParserT s m a

(<*>) :: ParserT s m (a -> b) -> ParserT s m a -> ParserT s m b

liftA2 :: (a -> b -> c) -> ParserT s m a -> ParserT s m b -> ParserT s m c

(*>) :: ParserT s m a -> ParserT s m b -> ParserT s m b

(<*) :: ParserT s m a -> ParserT s m b -> ParserT s m a

(Stream s, MonadIO m) => MonadIO (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

liftIO :: IO a -> ParserT s m a

(Stream s, MonadCont m) => MonadCont (ParserT s m)

Defined in Control.Monad.Trans.Parser

Methods

callCC :: ((a -> ParserT s m b) -> ParserT s m a) -> ParserT s m a

(Monad m, Stream s) => MonadParser (ParserT s m)

Defined in Control.Monad.Trans.Parser

Associated Types

type Input (ParserT s m)

Methods

parseStream :: ParserT s m (Input (ParserT s m))

setParseStream :: Input (ParserT s m) -> ParserT s m ()

noParse :: ParserT s m a

item :: ParserT s m (Item (Input (ParserT s m)))

followedBy :: ParserT s m a -> ParserT s m ()

notFollowedBy :: ParserT s m a -> ParserT s m ()

try :: ParserT s m a -> ParserT s m a

(<|>) :: ParserT s m a -> ParserT s m a -> ParserT s m a

(<?>) :: ParserT s m a -> String -> ParserT s m a

type Input (ParserT s m)

Defined in Control.Monad.Trans.Parser

type Input (ParserT s m) = s

data ParseResult v s

Constructors

Parsed v s (ParseError (Pos s))

NoParse (ParseError (Pos s))

Instances

(Show v, Show (Pos s)) => Show (ParseResult v s)

Defined in Control.Monad.Trans.Parser

Methods

showsPrec :: Int -> ParseResult v s -> ShowS

show :: ParseResult v s -> String

showList :: [ParseResult v s] -> ShowS

data ParseError p

Constructors

ParseError p [ErrorDesc]

Instances

Show p => Show (ParseError p)

Defined in Control.Monad.Trans.Parser

Methods

showsPrec :: Int -> ParseError p -> ShowS

show :: ParseError p -> String

showList :: [ParseError p] -> ShowS

data ErrorDesc

Constructors

Expected String

Note String

Instances

Eq ErrorDesc

Defined in Control.Monad.Trans.Parser

Methods

(==) :: ErrorDesc -> ErrorDesc -> Bool

(/=) :: ErrorDesc -> ErrorDesc -> Bool

type Parser s a = ParserT s Identity a

type StringParser a = Parser StringLines a

type ParserOf i p = (MonadParser p, Item (Input p) ~ i)

type CharParser p = ParserOf Char p

runParser :: Parser s a -> s -> ParseResult a s

runStringParser :: StringParser a -> String -> ParseResult a StringLines

runTextParser :: TextParser a -> Text -> ParseResult a TextLines