Bookhound.Parser

newtype Parser a

Instances

• Functor Parser
• Apply Parser
• Applicative Parser
• Bind Parser
• Monad Parser
• (Semigroup a) => Semigroup (Parser a)
• (Monoid a) => Monoid (Parser a)
• Alt Parser
• Plus Parser
• Alternative Parser
• MonadPlus Parser
• MonadThrow ParseError Parser
• MonadError ParseError Parser
• Lazy (Parser a)

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
• ErrorAt String

Instances

• MonadThrow ParseError Parser
• MonadError ParseError Parser
• Eq ParseError
• Ord ParseError
• Show ParseError

type Input = String

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

mkParser :: forall a. (Input -> ParseResult a) -> Parser a

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

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

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

eof :: Parser Unit

lookAhead :: forall a. Parser a -> Parser a

notFollowedBy :: forall a. Parser a -> Parser Unit

both :: forall a. Parser a -> Parser a -> Parser a

choice :: forall f a. Foldable f => f (Parser a) -> Parser a

anyOf :: forall f a. Foldable f => f (Parser a) -> Parser a

allOf :: forall f a. Foldable f => f (Parser a) -> Parser a

anyChar :: Parser Char

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

satisfy :: forall a. (a -> Boolean) -> Parser a -> Parser a

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