Parser

Documentation

data Parser a

Instances

Monad Parser

Defined in Parser

Methods

(>>=) :: Parser a -> (a -> Parser b) -> Parser b

(>>) :: Parser a -> Parser b -> Parser b

return :: a -> Parser a

Functor Parser

Defined in Parser

Methods

fmap :: (a -> b) -> Parser a -> Parser b

(<$) :: a -> Parser b -> Parser a

Applicative Parser

Defined in Parser

Methods

pure :: a -> Parser a

(<*>) :: Parser (a -> b) -> Parser a -> Parser b

liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c

(*>) :: Parser a -> Parser b -> Parser b

(<*) :: Parser a -> Parser b -> Parser a

data ParseResult a

Instances

Functor ParseResult

Defined in Parser

Methods

fmap :: (a -> b) -> ParseResult a -> ParseResult b

(<$) :: a -> ParseResult b -> ParseResult a

Eq a => Eq (ParseResult a)

Defined in Parser

Methods

(==) :: ParseResult a -> ParseResult a -> Bool

(/=) :: ParseResult a -> ParseResult a -> Bool

Show a => Show (ParseResult a)

Defined in Parser

Methods

showsPrec :: Int -> ParseResult a -> ShowS

show :: ParseResult a -> String

showList :: [ParseResult a] -> ShowS

data ParseError

Constructors

UnexpectedEof

ExpectedEof Input

UnexpectedChar Char

UnexpectedString String

NoMatch String

Instances

Eq ParseError

Defined in Parser

Methods

(==) :: ParseError -> ParseError -> Bool

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

Show ParseError

Defined in Parser

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

runParser :: Parser a -> Input -> Either ParseError a

errorParser :: ParseError -> Parser a

andThen :: Parser Input -> Parser a -> Parser a

exactly :: Parser a -> Parser a

isMatch :: (Char -> Char -> Bool) -> Parser Char -> Char -> Parser Char

check :: String -> (a -> Bool) -> Parser a -> Parser a

except :: Show a => Parser a -> Parser a -> Parser a

anyOf :: [Parser a] -> Parser a

allOf :: [Parser a] -> Parser a

char :: Parser Char

withTransform :: (forall b. Parser b -> Parser b) -> Parser a -> Parser a