antimirov-0.1.0: Define the language containment (=subtyping) relation on regulare expressions.

Data.Regex.Antimirov.Regex

Documentation

data (Eq a, Ord a) => Regex a Source

Constructors

Then (Regex a) (Regex a) 
Or (Regex a) (Regex a) 
Star (Regex a) 
Empty 
Literal a 

Instances

Ord a => Eq (Regex a) 
Ord a => Ord (Regex a) 
(Ord a, Show a) => Show (Regex a) 

toG :: Ord a => [a] -> Regex aSource