UMinho Haskell Libraries (2004.10.28)ContentsIndex
Language.HaLex.Equivalence
Synopsis
equivDfa :: (Ord st, Ord sy) => Dfa st sy -> Dfa st sy -> Bool
equivNdfa :: (Ord st, Ord sy) => Ndfa st sy -> Ndfa st sy -> Bool
equivRE :: RegExp -> RegExp -> Bool
equivREs :: [RegExp] -> Bool
Produced by Haddock version 0.6