Safe Haskell	None
Language	Haskell2010

Data.Set.Unlifted

Contents

Conversion
Folds
Traversals

Synopsis

data Set a
empty :: Set a
singleton :: PrimUnlifted a => a -> Set a
null :: Set a -> Bool
member :: (PrimUnlifted a, Ord a) => a -> Set a -> Bool
size :: PrimUnlifted a => Set a -> Int
difference :: (PrimUnlifted a, Ord a) => Set a -> Set a -> Set a
intersection :: (Ord a, PrimUnlifted a) => Set a -> Set a -> Set a
enumFromTo :: (Enum a, Ord a, Num a, PrimUnlifted a) => a -> a -> Set a
toArray :: Set a -> UnliftedArray a
toList :: PrimUnlifted a => Set a -> [a]
fromList :: (PrimUnlifted a, Ord a) => [a] -> Set a
foldr :: PrimUnlifted a => (a -> b -> b) -> b -> Set a -> b
foldMap :: (PrimUnlifted a, Monoid m) => (a -> m) -> Set a -> m
foldl' :: PrimUnlifted a => (b -> a -> b) -> b -> Set a -> b
foldr' :: PrimUnlifted a => (a -> b -> b) -> b -> Set a -> b
foldMap' :: (PrimUnlifted a, Monoid m) => (a -> m) -> Set a -> m
traverse_ :: (Applicative m, PrimUnlifted a) => (a -> m b) -> Set a -> m ()
itraverse_ :: (Applicative m, PrimUnlifted a) => (Int -> a -> m b) -> Set a -> m ()

Documentation

data Set a Source #

Instances

(PrimUnlifted a, Ord a) => IsList (Set a) Source #	The functions that convert a list to a `Set` are asymptotically better that using `foldMap singleton`, with a cost of O(nlog n)* rather than O(n^2). If the input list is sorted, even if duplicate elements are present, the algorithm further improves to O(n). The fastest option available is calling `fromListN` on a presorted list and passing the correct size size of the resulting `Set`. However, even if an incorrect size is given to this function, it will still correctly convert the list into a `Set`.
Instance details Defined in Data.Set.Unlifted.Internal Associated Types type Item (Set a) :: Type # Methods fromList :: [Item (Set a)] -> Set a # fromListN :: Int -> [Item (Set a)] -> Set a # toList :: Set a -> [Item (Set a)] #
(PrimUnlifted a, Eq a) => Eq (Set a) Source #
Instance details Defined in Data.Set.Unlifted.Internal Methods (==) :: Set a -> Set a -> Bool # (/=) :: Set a -> Set a -> Bool #
(PrimUnlifted a, Ord a) => Ord (Set a) Source #
Instance details Defined in Data.Set.Unlifted.Internal Methods compare :: Set a -> Set a -> Ordering # (<) :: Set a -> Set a -> Bool # (<=) :: Set a -> Set a -> Bool # (>) :: Set a -> Set a -> Bool # (>=) :: Set a -> Set a -> Bool # max :: Set a -> Set a -> Set a # min :: Set a -> Set a -> Set a #
(PrimUnlifted a, Show a) => Show (Set a) Source #
Instance details Defined in Data.Set.Unlifted.Internal Methods showsPrec :: Int -> Set a -> ShowS # show :: Set a -> String # showList :: [Set a] -> ShowS #
(Ord a, PrimUnlifted a) => Semigroup (Set a) Source #
Instance details Defined in Data.Set.Unlifted.Internal Methods (<>) :: Set a -> Set a -> Set a # sconcat :: NonEmpty (Set a) -> Set a # stimes :: Integral b => b -> Set a -> Set a #
(PrimUnlifted a, Ord a) => Monoid (Set a) Source #
Instance details Defined in Data.Set.Unlifted.Internal Methods mempty :: Set a # mappend :: Set a -> Set a -> Set a # mconcat :: [Set a] -> Set a #
(Hashable a, PrimUnlifted a) => Hashable (Set a) Source #
Instance details Defined in Data.Set.Unlifted.Internal Methods hashWithSalt :: Int -> Set a -> Int # hash :: Set a -> Int #
PrimUnlifted (Set a) Source #
Instance details Defined in Data.Set.Unlifted.Internal Methods toArrayArray# :: Set a -> ArrayArray# # fromArrayArray# :: ArrayArray# -> Set a #
type Item (Set a) Source #
Instance details Defined in Data.Set.Unlifted.Internal type Item (Set a) = a