ParseLib.Parallel.Derived

Documentation

module ParseLib.Parallel.Core

Derived combinators

(<$) :: b -> Parser s a -> Parser s b infixl 4

Variant of <$> that ignores the result of the parser.

f <$ p = const f <$> p

(<*) :: Parser s a -> Parser s b -> Parser s a infixl 4

Variant of <*> that ignores the result of the right argument.

f <* p = const <$> p <*> q

(*>) :: Parser s a -> Parser s b -> Parser s b infixl 4

Variant of *> that ignores the result of the left argument.

f *> p = flip const <$> p <*> q

epsilon :: Parser s ()

Parser for epsilon that does return '()'.

symbol :: Eq s => s -> Parser s s

Parses a specific given symbol.

token :: Eq s => [s] -> Parser s [s]

Parses a specific given sequence of symbols.

pack :: Parser s a -> Parser s b -> Parser s c -> Parser s b

Takes three parsers: a delimiter, the parser for the content, and another delimiter. Constructs a sequence of the three, but returns only the result of the enclosed parser.

sequence :: [Parser s a] -> Parser s [a]

Takes a list of parsers and combines them in sequence, returning a list of results.

choice :: [Parser s a] -> Parser s a

Takes a list of parsers and combines them using choice.

EBNF parser combinators

option :: Parser s a -> a -> Parser s a

Parses an optional element. Takes the default value as its second argument.

optional :: Parser s a -> Parser s (Maybe a)

Variant of option that returns a Maybe, provided for compatibility with the applicative interface.

many :: Parser s a -> Parser s [a]

Parses many, i.e., zero or more, occurrences of a given parser.

some :: Parser s a -> Parser s [a]

Parser some, i.e., one or more, occurrences of a given parser.

many1 :: Parser s a -> Parser s [a]

Same as some. Provided for compatibility with the lecture notes.

listOf :: Parser s a -> Parser s b -> Parser s [a]

Takes a parser p and a separator parser s. Parses a sequence of ps that is separated by ss.

Chain expression combinators

chainr :: Parser s a -> Parser s (a -> a -> a) -> Parser s a

Takes a parser pe and an operator parser po. Parses a sequence of pes separated by pos. The results are combined using the operator associated with po in a right-associative way.

chainl :: Parser s a -> Parser s (a -> a -> a) -> Parser s a

Takes a parser pe and an operator parser po. Parses a sequence of pes separated by pos. The results are combined using the operator associated with po in a left-associative way.

Greedy parsers

greedy :: Parser s b -> Parser s [b]

Greedy variant of many.

greedy1 :: Parser s b -> Parser s [b]

Greedy variant of many1.

End of input

eof :: Parser s ()

Succeeds only on the end of the input.