| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| Contents | |||||||||||||||||||||||||||||||
| 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.4 |