Data.EnumSet

Documentation

data EnumSet k

Wrapper for IntSet with Enum elements.

Instances

Typeable1 EnumSet

Eq (EnumSet k)

Eq (EnumSet k) => Ord (EnumSet k)

(Enum k, Read k) => Read (EnumSet k)

(Enum k, Show k) => Show (EnumSet k)

Monoid (EnumSet k)

NFData (EnumSet k)

Wrapping/unwrapping

intSetToEnumSet :: IntSet -> EnumSet k

Wrap IntSet.

enumSetToIntSet :: EnumSet k -> IntSet

Unwrap IntSet.

Operators

(\\) :: EnumSet k -> EnumSet k -> EnumSet k

Query

null :: EnumSet k -> Bool

size :: EnumSet k -> Int

member :: Enum k => k -> EnumSet k -> Bool

notMember :: Enum k => k -> EnumSet k -> Bool

lookupLT :: Enum k => k -> EnumSet k -> Maybe k

lookupGT :: Enum k => k -> EnumSet k -> Maybe k

lookupLE :: Enum k => k -> EnumSet k -> Maybe k

lookupGE :: Enum k => k -> EnumSet k -> Maybe k

isSubsetOf :: EnumSet k -> EnumSet k -> Bool

isProperSubsetOf :: EnumSet k -> EnumSet k -> Bool

Construction

empty :: EnumSet k

singleton :: Enum k => k -> EnumSet k

insert :: Enum k => k -> EnumSet k -> EnumSet k

delete :: Enum k => k -> EnumSet k -> EnumSet k

Combine

union :: EnumSet k -> EnumSet k -> EnumSet k

unions :: [EnumSet k] -> EnumSet k

difference :: EnumSet k -> EnumSet k -> EnumSet k

intersection :: EnumSet k -> EnumSet k -> EnumSet k

Filter

filter :: Enum k => (k -> Bool) -> EnumSet k -> EnumSet k

partition :: Enum k => (k -> Bool) -> EnumSet k -> (EnumSet k, EnumSet k)

split :: Enum k => k -> EnumSet k -> (EnumSet k, EnumSet k)

splitMember :: Enum k => k -> EnumSet k -> (EnumSet k, Bool, EnumSet k)

Map

map :: Enum k => (k -> k) -> EnumSet k -> EnumSet k

Folds

foldr :: Enum k => (k -> b -> b) -> b -> EnumSet k -> b

foldl :: Enum k => (a -> k -> a) -> a -> EnumSet k -> a

Strict folds

foldr' :: Enum k => (k -> b -> b) -> b -> EnumSet k -> b

foldl' :: Enum k => (a -> k -> a) -> a -> EnumSet k -> a

Legacy folds

fold :: Enum k => (k -> b -> b) -> b -> EnumSet k -> b

Min/Max

findMin :: Enum k => EnumSet k -> k

findMax :: Enum k => EnumSet k -> k

deleteMin :: EnumSet k -> EnumSet k

deleteMax :: EnumSet k -> EnumSet k

deleteFindMin :: Enum k => EnumSet k -> (k, EnumSet k)

deleteFindMax :: Enum k => EnumSet k -> (k, EnumSet k)

maxView :: Enum k => EnumSet k -> Maybe (k, EnumSet k)

minView :: Enum k => EnumSet k -> Maybe (k, EnumSet k)

Conversion

List

elems :: Enum k => EnumSet k -> [k]

toList :: Enum k => EnumSet k -> [k]

fromList :: Enum k => [k] -> EnumSet k

Ordered list

toAscList :: Enum k => EnumSet k -> [k]

toDescList :: Enum k => EnumSet k -> [k]

fromAscList :: Enum k => [k] -> EnumSet k

fromDistinctAscList :: Enum k => [k] -> EnumSet k