StringParser.Combinators

try :: forall a. Parser a -> Parser a

try p means: run p but do not consume input in case of failure.

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

lookAhead p means: run p but do not consume input in case of success. In most cases you will probably want to use tryAhead instead.

tryAhead :: forall a. Parser a -> Parser a

Read ahead without consuming input. tryAhead p means: succeed if what comes next is of the form p; fail otherwise.

many :: forall a. Parser a -> Parser (List a)

Match a parser zero or more times. Stops matching when the parser fails or does not consume anymore.

many1 :: forall a. Parser a -> Parser (NonEmptyList a)

Match a parser one or more times. Stops matching when the parser fails or does not consume anymore.

manyTill :: forall a end. Parser a -> Parser end -> Parser (List a)

Match a parser until a terminator parser matches. Fails when the parser does not consume anymore.

many1Till :: forall a end. Parser a -> Parser end -> Parser (NonEmptyList a)

Match a parser until a terminator parser matches, requiring at least one match. Fails when the parser does not consume anymore.

assertConsume :: forall a. Parser a -> Parser a

Run given parser and fail if the parser did not consume any input.

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

Provide an error message in case of failure.

Operator alias for StringParser.Combinators.withError (left-associative / precedence 4)

between :: forall a open close. Parser open -> Parser close -> Parser a -> Parser a

Parse a string between opening and closing markers.

option :: forall a. a -> Parser a -> Parser a

Parse a value with a default value in case of failure.

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

Attempt to parse a value.

optionMaybe :: forall a. Parser a -> Parser (Maybe a)

Attempt to parse a value, pureing Nothing in case of failure.

sepBy :: forall a sep. Parser a -> Parser sep -> Parser (List a)

Parse zero or more separated values.

sepBy1 :: forall a sep. Parser a -> Parser sep -> Parser (NonEmptyList a)

Parse one or more separated values.

sepEndBy :: forall a sep. Parser a -> Parser sep -> Parser (List a)

Parse zero or more separated values, optionally ending with a separator.

sepEndBy1 :: forall a sep. Parser a -> Parser sep -> Parser (NonEmptyList a)

Parse one or more separated values, optionally ending with a separator.

endBy1 :: forall a sep. Parser a -> Parser sep -> Parser (NonEmptyList a)

Parse one or more separated values, ending with a separator.

endBy :: forall a sep. Parser a -> Parser sep -> Parser (List a)

Parse zero or more separated values, ending with a separator.

chainr :: forall a. Parser a -> Parser (a -> a -> a) -> a -> Parser a

Parse zero or more values separated by a right-associative operator.

chainl :: forall a. Parser a -> Parser (a -> a -> a) -> a -> Parser a

Parse zero or more values separated by a left-associative operator.

chainl1 :: forall a. Parser a -> Parser (a -> a -> a) -> Parser a

Parse one or more values separated by a left-associative operator.

chainr1 :: forall a. Parser a -> Parser (a -> a -> a) -> Parser a

Parse one or more values separated by a right-associative operator.

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

Parse using any of a collection of parsers.

fix :: forall l. Lazy l => (l -> l) -> l

fix defines a value as the fixed point of a function.

The Lazy instance allows us to generate the result lazily.