lambda-calculus-interpreter-0.1.0.3: Lambda Calculus interpreter

Safe HaskellSafe
LanguageHaskell2010

Parser

Documentation

data Parser s m a Source #

Constructors

Parser 

Fields

Instances
Monad m => Monad (Parser s m) Source # 
Instance details

Defined in Parser

Methods

(>>=) :: Parser s m a -> (a -> Parser s m b) -> Parser s m b #

(>>) :: Parser s m a -> Parser s m b -> Parser s m b #

return :: a -> Parser s m a #

fail :: String -> Parser s m a #

Functor m => Functor (Parser s m) Source # 
Instance details

Defined in Parser

Methods

fmap :: (a -> b) -> Parser s m a -> Parser s m b #

(<$) :: a -> Parser s m b -> Parser s m a #

Monad m => Applicative (Parser s m) Source # 
Instance details

Defined in Parser

Methods

pure :: a -> Parser s m a #

(<*>) :: Parser s m (a -> b) -> Parser s m a -> Parser s m b #

liftA2 :: (a -> b -> c) -> Parser s m a -> Parser s m b -> Parser s m c #

(*>) :: Parser s m a -> Parser s m b -> Parser s m b #

(<*) :: Parser s m a -> Parser s m b -> Parser s m a #

(Alternative m, Monad m) => Alternative (Parser s m) Source # 
Instance details

Defined in Parser

Methods

empty :: Parser s m a #

(<|>) :: Parser s m a -> Parser s m a -> Parser s m a #

some :: Parser s m a -> Parser s m [a] #

many :: Parser s m a -> Parser s m [a] #