Data.EnumSet

Refer to the documentation for Data.IntSet.

Documentation

newtype EnumSet k

Constructors

EnumSet

Fields

unEnumSet :: IntSet

Instances

Eq (EnumSet k)

Data k => Data (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)

Operators

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

Query

null :: forall k. EnumSet k -> Bool

size :: forall k. EnumSet k -> Int

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

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

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

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

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

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

isSubsetOf :: forall k. EnumSet k -> EnumSet k -> Bool

isProperSubsetOf :: forall k. EnumSet k -> EnumSet k -> Bool

Construction

empty :: forall k. EnumSet k

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

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

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

Combine

union :: forall k. EnumSet k -> EnumSet k -> EnumSet k

unions :: forall k. [EnumSet k] -> EnumSet k

difference :: forall k. EnumSet k -> EnumSet k -> EnumSet k

intersection :: forall k. EnumSet k -> EnumSet k -> EnumSet k

Filter

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

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

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

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

Map

map :: forall k k'. (Enum k, Enum k') => (k -> k') -> EnumSet k -> EnumSet k'

Folds

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

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

Strict folds

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

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

Min/Max

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

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

deleteMin :: forall k. EnumSet k -> EnumSet k

deleteMax :: forall k. EnumSet k -> EnumSet k

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

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

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

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

Conversion: List

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

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

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

Conversion: Ordered list

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

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

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

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

Debugging

showTree :: forall k. EnumSet k -> String

showTreeWith :: forall k. Bool -> Bool -> EnumSet k -> String