Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Recognize.Parsing.Parser

Description

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

Documentation

type Parser s = ParserT () s Identity Source #

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

data ParserT st s m a Source #

Instances

Monad m => MonadState st (ParserT st s m) Source #
Instance details 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) Source #
Instance details Defined in Recognize.Parsing.Parser Methods lift :: Monad m => m a -> ParserT st s m a #
Monad m => Monad (ParserT st s m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Recognize.Parsing.Parser Methods pLog :: String -> ParserT st s m () Source #
Monad m => Parse (ParserT st s m) s Source #
Instance details Defined in Recognize.Parsing.Parser Methods (\|>) :: ParserT st s m a -> ParserT st s m a -> ParserT st s m a Source # satisfyWith :: (s -> Maybe a) -> ParserT st s m a Source # withInputList :: ([s] -> [a]) -> ParserT st s m a Source #

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