Bookhound.Parser

Documentation

data Parser a

Instances

Applicative Parser

Defined in Bookhound.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

Functor Parser

Defined in Bookhound.Parser

Methods

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

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

Monad Parser

Defined in Bookhound.Parser

Methods

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

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

return :: a -> Parser a

data ParseError

Constructors

UnexpectedEof

ExpectedEof Input

UnexpectedChar Char

UnexpectedString String

NoMatch String

ErrorAt String

Instances

Show ParseError

Defined in Bookhound.Parser

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Eq ParseError

Defined in Bookhound.Parser

Methods

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

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

Ord ParseError

Defined in Bookhound.Parser

Methods

compare :: ParseError -> ParseError -> Ordering

(<) :: ParseError -> ParseError -> Bool

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

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

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

max :: ParseError -> ParseError -> ParseError

min :: ParseError -> ParseError -> ParseError

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

errorParser :: ParseError -> Parser a

andThen :: Parser String -> 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

anyOf :: [Parser a] -> Parser a

allOf :: [Parser a] -> Parser a

char :: Parser Char

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

withError :: String -> Parser a -> Parser a

withErrorN :: Int -> String -> Parser a -> Parser a

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

mapError :: (ParseError -> Maybe ParseError) -> Parser a -> Parser a

except :: Parser a -> Parser a -> Parser a