- module Data.Set
- catMaybes :: Ord a => Set (Maybe a) -> Set a
- flatten :: Ord a => Set (Set a) -> Set a
- concatMap :: (Ord a, Ord b) => (a -> Set b) -> Set a -> Set b
- mapM :: (Monad m, Ord b) => (a -> m b) -> Set a -> m (Set b)
- filterM :: (Ord a, Monad m) => (a -> m Bool) -> Set a -> m (Set a)
- concatMapM :: (Monad m, Ord a, Ord b) => (a -> m (Set b)) -> Set a -> m (Set b)
- any :: Ord a => (a -> Bool) -> Set a -> Bool
- all :: Ord a => (a -> Bool) -> Set a -> Bool
- distrib :: Ord a => Set (Set a) -> Set (Set a) -> Set (Set a)
- or :: Set Bool -> Bool
- and :: Set Bool -> Bool
- ss :: Ord a => a -> Set (Set a)
- ssMapM :: (Monad m, Ord a, Ord b) => (a -> m b) -> Set (Set a) -> m (Set (Set b))
- toSS :: Ord a => [[a]] -> Set (Set a)
- fromSS :: Ord a => Set (Set a) -> [[a]]
- cartesianProduct :: (Ord a, Ord b) => Set a -> Set b -> Set (a, b)
- groupBy :: (Ord a, Ord b) => (a -> b) -> Set a -> Map b (Set a)
- partitionM :: (Monad m, Ord a) => (a -> m Bool) -> Set a -> m (Set a, Set a)
- gFind :: forall a b. (Data a, Typeable b, Ord b) => a -> Set b