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