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

Index

#Data.Regex.Antimirov.Regex, Data.Regex.Antimirov
*Data.Regex.Antimirov.Regex, Data.Regex.Antimirov
-Data.Regex.Antimirov.Regex, Data.Regex.Antimirov
<: 
1 (Function)Data.Regex.Antimirov.Subtyping, Data.Regex.Antimirov
2 (Function)Data.Regex.Antimirov.SubtypingList
?Data.Regex.Antimirov.Regex, Data.Regex.Antimirov
clusterData.Regex.Antimirov.Simplify, Data.Regex.Antimirov
EmptyData.Regex.Antimirov.Regex, Data.Regex.Antimirov
getOrData.Regex.Antimirov.Simplify, Data.Regex.Antimirov
lData.Regex.Antimirov.Regex, Data.Regex.Antimirov
LiteralData.Regex.Antimirov.Regex, Data.Regex.Antimirov
literalSubtype 
1 (Function)Data.Regex.Antimirov.Subtyping, Data.Regex.Antimirov
2 (Function)Data.Regex.Antimirov.SubtypingList
match 
1 (Function)Data.Regex.Antimirov.Subtyping, Data.Regex.Antimirov
2 (Function)Data.Regex.Antimirov.SubtypingList
nullableData.Regex.Antimirov.Regex, Data.Regex.Antimirov
OrData.Regex.Antimirov.Regex, Data.Regex.Antimirov
RegexData.Regex.Antimirov.Regex, Data.Regex.Antimirov
RegexSubtyping 
1 (Type/Class)Data.Regex.Antimirov.Subtyping, Data.Regex.Antimirov
2 (Type/Class)Data.Regex.Antimirov.SubtypingList
simplifyData.Regex.Antimirov.Simplify, Data.Regex.Antimirov
StarData.Regex.Antimirov.Regex, Data.Regex.Antimirov
ThenData.Regex.Antimirov.Regex, Data.Regex.Antimirov
toGData.Regex.Antimirov.Regex, Data.Regex.Antimirov