Recognize.Parsing.Parser

Simple parser that has options for using logging. Currently used by Interpretation.

Documentation

type Parser s = ParserT () s Identity

runParser :: Parser s a -> [s] -> Maybe a

data ParserT st s m a

Instances

Monad m => MonadState st (ParserT st s m)

Defined in Recognize.Parsing.Parser

Methods

get :: ParserT st s m st

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

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

MonadTrans (ParserT st s)

Defined in Recognize.Parsing.Parser

Methods

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

Monad m => Monad (ParserT st s m)

Defined in Recognize.Parsing.Parser

Methods

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

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

return :: a -> ParserT st s m a

fail :: String -> ParserT st s m a

Monad m => Functor (ParserT st s m)

Defined in Recognize.Parsing.Parser

Methods

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

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

Monad m => Applicative (ParserT st s m)

Defined in Recognize.Parsing.Parser

Methods

pure :: a -> ParserT st s m a

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

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

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

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

Monad m => Alternative (ParserT st s m)

Defined in Recognize.Parsing.Parser

Methods

empty :: ParserT st s m a

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

some :: ParserT st s m a -> ParserT st s m [a]

many :: ParserT st s m a -> ParserT st s m [a]

(Monad m, ParseLog m) => ParseLog (ParserT st s m)

Defined in Recognize.Parsing.Parser

Methods

pLog :: String -> ParserT st s m ()

Monad m => Parse (ParserT st s m) s

Defined in Recognize.Parsing.Parser

Methods

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

satisfyWith :: (s -> Maybe a) -> ParserT st s m a

withInputList :: ([s] -> [a]) -> ParserT st s m a

runParserT :: ParserT st s m a -> st -> [s] -> m [(a, st, [s])]