UMinho Haskell Libraries (1.0) Contents Index

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 :: Ord sy => RegExp sy -> RegExp sy -> Bool equivREs :: Ord sy => [RegExp sy] -> Bool

Produced by Haddock version 0.6