Data.Syntax

Abstract syntax descriptions based on semi-isomorphisms.

Syntax.

class (SemiIsoAlternative syn, SemiIsoMonad syn, IsSequence seq, Eq seq, Eq (Element seq)) => Syntax syn seq | syn -> seq where

An abstract syntax description based on semi-isomorphisms.

This class can be implemented by both parsers and printers (and maybe more?).

The usual use is to write a polymorphic syntax description and instantiate it both as a parser and a printer. An example is available in the 'syntax-example' package.

Methods of this class try to mimic Data.Attoparsec.Text interface.

Minimal complete definition

anyChar

Methods

anyChar :: syn (Element seq)

Any character.

char :: Element seq -> syn ()

A specific character.

notChar :: Element seq -> syn (Element seq)

Any character except the given one.

satisfy :: (Element seq -> Bool) -> syn (Element seq)

Any character satisfying a predicate.

satisfyWith :: ASemiIso' a (Element seq) -> (a -> Bool) -> syn a

Transforms a character using a SemiIso and filters out values not satisfying the predicate.

string :: seq -> syn ()

A specific string.

take :: Int -> syn seq

A string of length n.

takeWhile :: (Element seq -> Bool) -> syn seq

Maximal string which elements satisfy a predicate.

takeWhile1 :: (Element seq -> Bool) -> syn seq

Maximal non-empty string which elements satisfy a predicate.

takeTill :: (Element seq -> Bool) -> syn seq

Maximal string which elements do not satisfy a predicate.

takeTill1 :: (Element seq -> Bool) -> syn seq

Maximal non-empty string which elements do not satisfy a predicate.

Common isomorphisms.

packed :: IsSequence seq => Iso' seq [Element seq]

An isomorphism between a sequence and a list of its elements.