Bookhound.Parser

newtype Parser a

Instances

• Functor Parser
• Apply Parser
• Applicative Parser
• Bind Parser

data ParseResult a

Constructors

• Result Input a
• Error ParseError

Instances

• (Eq a) => Eq (ParseResult a)
• (Show a) => Show (ParseResult a)
• Functor ParseResult

data ParseError

Constructors

• UnexpectedEof
• ExpectedEof Input
• UnexpectedChar Char
• UnexpectedString String
• NoMatch String
• ErrorAt String

Instances

• Eq ParseError
• Ord ParseError
• Show ParseError

type Input = String

parse :: forall a. Parser a -> Input -> ParseResult a

runParser :: forall a. Parser a -> Input -> Either (Array ParseError) a

errorParser :: forall a. ParseError -> Parser a

andThen :: forall a. Parser String -> Parser a -> Parser a

exactly :: forall a. Parser a -> Parser a

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

check :: forall a. String -> (a -> Boolean) -> Parser a -> Parser a

anyOf :: forall a. Array (Parser a) -> Parser a

allOf :: forall a. Array (Parser a) -> Parser a

char :: Parser Char

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

withError :: forall a. String -> Parser a -> Parser a

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

except :: forall a. Parser a -> Parser a -> Parser a