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

Data.Regex.Antimirov.SubtypingList

Documentation

(<:) :: (Ord a, RegexSubtyping a) => Maybe (Regex a) -> Maybe (Regex a) -> Bool Source

match :: (RegexSubtyping a, Ord a) => Maybe (Regex a) -> [a] -> Bool Source

class Eq a => RegexSubtyping a whereSource

Methods

literalSubtype :: a -> a -> Bool Source