Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- isMember :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a -> Bool
- isSingleton :: EquivalenceClass a -> Bool
- insert :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a -> EquivalenceClass a
- union :: (Ord a, Eq a, Hashable a) => EquivalenceClass a -> EquivalenceClass a -> EquivalenceClass a
- singleton :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a
- fromList :: (Ord a, Eq a, Hashable a) => [a] -> EquivalenceClass a
- toList :: EquivalenceClass a -> [a]
- head :: EquivalenceClass a -> a
- data EquivalenceClass a
- elems :: EquivalenceClass a -> Set a
- isSubsetOf :: Ord a => EquivalenceClass a -> EquivalenceClass a -> Bool
Documentation
isSingleton :: EquivalenceClass a -> Bool Source #
insert :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a -> EquivalenceClass a Source #
union :: (Ord a, Eq a, Hashable a) => EquivalenceClass a -> EquivalenceClass a -> EquivalenceClass a Source #
toList :: EquivalenceClass a -> [a] Source #
head :: EquivalenceClass a -> a Source #
data EquivalenceClass a Source #
Equivalent classes of the (==)
relation of a type a
.
Instances
elems :: EquivalenceClass a -> Set a Source #
isSubsetOf :: Ord a => EquivalenceClass a -> EquivalenceClass a -> Bool Source #