Data.Syntax.Combinator

Combinators that work with any sequence type.

Documentation

optional :: SemiIsoAlternative f => f a -> f (Maybe a)

One or zero occurences of f.

opt :: SemiIsoAlternative f => f () -> f ()

Like optional, but specialized for ().

opt_ :: SemiIsoAlternative f => f () -> f ()

Parser one or zero occurences of f, but prints nothing.

manyTill :: SemiIsoAlternative f => f a -> f () -> f [a]

manyTill p end applies action p zero or more times until action end succeeds, and returns the list of values returned by p.

sepBy :: SemiIsoAlternative f => f a -> f () -> f [a]

Zero or more occurences of v separated by s.

sepBy1 :: SemiIsoAlternative f => f a -> f () -> f [a]

One or more occurences of v separated by s.

choice :: SemiIsoAlternative f => [f a] -> f a

Tries to apply the actions in the list in order, until one of them succeeds. Returns the value of the succeeding action.

eitherOf :: SemiIsoAlternative f => f a -> f b -> f (Either a b)

Combine two alternatives.