| |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
| 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 |