Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Set a
- singleton :: Prim a => a -> Set a
- member :: (Prim a, Ord a) => a -> Set a -> Bool
- size :: Prim a => Set a -> Int
- difference :: (Ord a, Prim a) => Set a -> Set a -> Set a
- (\\) :: (Ord a, Prim a) => Set a -> Set a -> Set a
- toList :: Prim a => Set a -> [a]
- fromList :: (Ord a, Prim a) => [a] -> Set a
- foldr :: Prim a => (a -> b -> b) -> b -> Set a -> b
- foldl' :: Prim a => (b -> a -> b) -> b -> Set a -> b
- foldr' :: Prim a => (a -> b -> b) -> b -> Set a -> b
- foldMap' :: (Monoid m, Prim a) => (a -> m) -> Set a -> m
Documentation
A set of elements.
(Prim a, Ord a) => IsList (Set a) Source # | The functions that convert a list to a |
(Prim a, Eq a) => Eq (Set a) Source # | |
(Prim a, Ord a) => Ord (Set a) Source # | |
(Prim a, Show a) => Show (Set a) Source # | |
(Prim a, Ord a) => Semigroup (Set a) Source # | |
(Prim a, Ord a) => Monoid (Set a) Source # | |
PrimUnlifted (Set a) Source # | |
type Item (Set a) Source # | |
member :: (Prim a, Ord a) => a -> Set a -> Bool Source #
Test whether or not an element is present in a set.
List Conversion
toList :: Prim a => Set a -> [a] Source #
Convert a set to a list. The elements are given in ascending order.
Folds
foldr :: Prim a => (a -> b -> b) -> b -> Set a -> b Source #
Right fold over the elements in the set. This is lazy in the accumulator.
foldl' :: Prim a => (b -> a -> b) -> b -> Set a -> b Source #
Strict left fold over the elements in the set.