Set-0.0.2.0: See README for more info

Safe HaskellSafe
LanguageHaskell2010

Data.Set.Class

Documentation

class Set set where Source #

Minimal complete definition

empty, insert, delete, singleton

Associated Types

type Elem set Source #

Methods

empty :: set Source #

fold :: Monoid (Elem set) => set -> Elem set Source #

foldMap :: Monoid a => (Elem set -> a) -> set -> a Source #

foldr :: (Elem set -> a -> a) -> a -> set -> a Source #

foldl :: (a -> Elem set -> a) -> a -> set -> a Source #

toList :: set -> [Elem set] Source #

length :: set -> Int Source #

Deprecated: use size

size :: set -> Int Source #

null :: set -> Bool Source #

mapMaybe :: (Elem set -> Maybe (Elem set)) -> set -> set Source #

mapEither :: (Elem set -> Either (Elem set) (Elem set)) -> set -> (set, set) Source #

filter :: (Elem set -> Bool) -> set -> set Source #

member :: Elem set -> set -> Bool Source #

fromList :: [Elem set] -> set Source #

insert :: Elem set -> set -> set Source #

delete :: Elem set -> set -> set Source #

singleton :: Elem set -> set Source #

union :: set -> set -> set Source #

intersection :: set -> set -> set Source #

difference :: set -> set -> set Source #

symmetricDifference :: set -> set -> set Source #

(⊆) :: set -> set -> Bool Source #

Instances
Set IntSet Source # 
Instance details

Defined in Data.Set.Class

Associated Types

type Elem IntSet :: Type Source #

Ord a => Set (Set a) Source # 
Instance details

Defined in Data.Set.Class

Associated Types

type Elem (Set a) :: Type Source #

Methods

empty :: Set a Source #

fold :: Set a -> Elem (Set a) Source #

foldMap :: Monoid a0 => (Elem (Set a) -> a0) -> Set a -> a0 Source #

foldr :: (Elem (Set a) -> a0 -> a0) -> a0 -> Set a -> a0 Source #

foldl :: (a0 -> Elem (Set a) -> a0) -> a0 -> Set a -> a0 Source #

toList :: Set a -> [Elem (Set a)] Source #

length :: Set a -> Int Source #

size :: Set a -> Int Source #

null :: Set a -> Bool Source #

mapMaybe :: (Elem (Set a) -> Maybe (Elem (Set a))) -> Set a -> Set a Source #

mapEither :: (Elem (Set a) -> Either (Elem (Set a)) (Elem (Set a))) -> Set a -> (Set a, Set a) Source #

filter :: (Elem (Set a) -> Bool) -> Set a -> Set a Source #

member :: Elem (Set a) -> Set a -> Bool Source #

fromList :: [Elem (Set a)] -> Set a Source #

insert :: Elem (Set a) -> Set a -> Set a Source #

delete :: Elem (Set a) -> Set a -> Set a Source #

singleton :: Elem (Set a) -> Set a Source #

union :: Set a -> Set a -> Set a Source #

intersection :: Set a -> Set a -> Set a Source #

difference :: Set a -> Set a -> Set a Source #

symmetricDifference :: Set a -> Set a -> Set a Source #

(⊆) :: Set a -> Set a -> Bool Source #