Parser

Documentation

data Parser s m a

Constructors

Parser

Fields

• runParser :: s -> m (a, s)

Instances

Monad m => Monad (Parser s m)

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)

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)

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)

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]

item :: Alternative m => Parser String m Char

satisfy :: (Alternative m, Monad m) => (Char -> Bool) -> Parser String m Char

char :: (Alternative m, Monad m) => Char -> Parser String m Char

lit :: (Alternative m, Monad m) => Parser String m Expr

identifier :: (Alternative m, Monad m) => Parser String m Identifier

term :: (Alternative m, Monad m) => Parser String m Expr

lambda :: (Alternative m, Monad m) => Parser String m Expr

app :: (Alternative m, Monad m) => Parser String m Expr

expr :: (Alternative m, Monad m) => Parser String m Expr