| |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||
An implementation of sets, based on the Data.FiniteMap. | |||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
The Set type | |||||||||||||||||||||||||||||
data Set a | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
Construction | |||||||||||||||||||||||||||||
emptySet :: Set a | |||||||||||||||||||||||||||||
mkSet :: Ord a => [a] -> Set a | |||||||||||||||||||||||||||||
setToList :: Set a -> [a] | |||||||||||||||||||||||||||||
unitSet :: a -> Set a | |||||||||||||||||||||||||||||
Inspection | |||||||||||||||||||||||||||||
elementOf :: Ord a => a -> Set a -> Bool | |||||||||||||||||||||||||||||
isEmptySet :: Set a -> Bool | |||||||||||||||||||||||||||||
cardinality :: Set a -> Int | |||||||||||||||||||||||||||||
Operations | |||||||||||||||||||||||||||||
union :: Ord a => Set a -> Set a -> Set a | |||||||||||||||||||||||||||||
unionManySets :: Ord a => [Set a] -> Set a | |||||||||||||||||||||||||||||
minusSet :: Ord a => Set a -> Set a -> Set a | |||||||||||||||||||||||||||||
mapSet :: Ord a => (b -> a) -> Set b -> Set a | |||||||||||||||||||||||||||||
intersect :: Ord a => Set a -> Set a -> Set a | |||||||||||||||||||||||||||||
addToSet :: Ord a => Set a -> a -> Set a | |||||||||||||||||||||||||||||
delFromSet :: Ord a => Set a -> a -> Set a | |||||||||||||||||||||||||||||
Produced by Haddock version 0.6 |