Data.Regex.Example.Multi

Example of tree regular expressions over a family of regular data types. Click on Source to view the code.

Data type definition

data Ty

Constructors

One

Two

Instances

Generic1m Ty Bis

Implementation of Generic1m for Bis. This is required to use tree regular expressions.

SingI Ty Two

SingI Ty One

ArbitraryM Ty (Fix Ty Bis)

ShowM Ty (Fix Ty Bis)

Eq (Sing Ty a)

Show (Fix Ty Bis Two)

Show (Fix Ty Bis One)

data Sing Ty where

• SOne :: Sing Ty One
• STwo :: Sing Ty Two

type Rep1m Ty Bis = (:++:) Ty (Tag1m Ty (U1m (Ty -> *) Ty) One) ((:++:) Ty (Tag1m Ty ((:**:) (Ty -> *) Ty (K1m * (Ty -> *) Ty () Int) (Par1m Ty Two)) One) ((:++:) Ty (Tag1m Ty (U1m (Ty -> *) Ty) Two) (Tag1m Ty ((:**:) (Ty -> *) Ty (K1m * (Ty -> *) Ty () Char) (Par1m Ty One)) Two)))

data Bis f ix where

Constructors

NilOne' :: Bis f One

ConsOne' :: Int -> f Two -> Bis f One

NilTwo' :: Bis f Two

ConsTwo' :: Char -> f One -> Bis f Two

Instances

Generic1m Ty Bis

Implementation of Generic1m for Bis. This is required to use tree regular expressions.

ArbitraryM Ty (Fix Ty Bis)

ShowM Ty (Fix Ty Bis)

Show (Fix Ty Bis Two)

Show (Fix Ty Bis One)

type Rep1m Ty Bis = (:++:) Ty (Tag1m Ty (U1m (Ty -> *) Ty) One) ((:++:) Ty (Tag1m Ty ((:**:) (Ty -> *) Ty (K1m * (Ty -> *) Ty () Int) (Par1m Ty Two)) One) ((:++:) Ty (Tag1m Ty (U1m (Ty -> *) Ty) Two) (Tag1m Ty ((:**:) (Ty -> *) Ty (K1m * (Ty -> *) Ty () Char) (Par1m Ty One)) Two)))

type FixOne = Fix Bis One

type FixTwo = Fix Bis Two

Useful pattern synonyms

pattern (~) Ty t One => NilOne :: Fix Ty Bis t

pattern (~) Ty t One => ConsOne Int (Fix Ty Bis Two) :: Fix Ty Bis t

pattern (~) Ty t Two => NilTwo :: Fix Ty Bis t

pattern (~) Ty t Two => ConsTwo Char (Fix Ty Bis One) :: Fix Ty Bis t

Some Bis values

aBis1 :: FixOne

aBis2 :: FixOne

Tree regular expressions

Some stand-alone expressions

rBis1 :: Regex (Wrap Char) Bis One

rBis2 :: Regex c Bis One

rBis3 :: Regex c Bis One

rBis4 :: Regex c Bis One

rBis5 :: Regex c Bis One

Using with views

cBis1 :: Wrap Integer One -> Regex (Wrap Integer) Bis One

eBis1 :: FixOne -> [FixOne]

Using the mrx quasi-quoter

eBis2 :: FixOne -> [FixOne]

Grammars

grammar1 :: IndexIndependentGrammar (Wrap Integer) Bis () String