antimirov-0.1.0: Define the language containment (=subtyping) relation on regulare expressions.
Data.Regex.Antimirov.Regex
data (Eq a, Ord a) => Regex a Source
Constructors
Instances
nullable :: Ord t => Regex t -> BoolSource
toG :: Ord a => [a] -> Regex aSource