Data.EnumSet

Documentation

data EnumSet e

Wrapper for IntSet with Enum elements.

Instances

Eq (EnumSet e)

Ord (EnumSet e)

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

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

Monoid (EnumSet e)

Operators

(\\) :: EnumSet e -> EnumSet e -> EnumSet e

Query

null :: EnumSet e -> Bool

size :: EnumSet e -> Int

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

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

isSubsetOf :: EnumSet e -> EnumSet e -> Bool

isProperSubsetOf :: EnumSet e -> EnumSet e -> Bool

Construction

empty :: EnumSet e

singleton :: Enum e => e -> EnumSet e

insert :: Enum e => e -> EnumSet e -> EnumSet e

delete :: Enum e => e -> EnumSet e -> EnumSet e

Combine

union :: EnumSet e -> EnumSet e -> EnumSet e

unions :: [EnumSet e] -> EnumSet e

difference :: EnumSet e -> EnumSet e -> EnumSet e

intersection :: EnumSet e -> EnumSet e -> EnumSet e

Filter

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

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

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

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

Map

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

Fold

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

Min/Max

findMin :: Enum e => EnumSet e -> e

findMax :: Enum e => EnumSet e -> e

deleteMin :: EnumSet e -> EnumSet e

deleteMax :: EnumSet e -> EnumSet e

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

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

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

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

Conversion

List

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

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

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

Ordered list

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

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

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