Safe Haskell | None |
---|

A data structure to represent refining a set of terms into equivalence classes by testing.

# Documentation

data TestResults a Source

numTests :: TestResults a -> IntSource

numResults :: TestResults a -> IntSource

classes :: Ord a => TestResults a -> [[a]]Source

reps :: Ord a => TestResults a -> [a]Source

discrete :: Ord a => [a] -> TestResults aSource