Data.EnumSet · enummapset-0.7.2.0

newtypenewtype EnumSet k

#

Wrapper for IntSet with Enum elements.

Instances9Eq, Ord, Read, Show, Semigroup, Monoid, …

Eq (EnumSet k)Defined in enummapset-0.7.2.0 · Data.EnumSet
Ord (EnumSet k)Defined in enummapset-0.7.2.0 · Data.EnumSet
(Enum k, Read k) => Read (EnumSet k)Defined in enummapset-0.7.2.0 · Data.EnumSet
(Enum k, Show k) => Show (EnumSet k)Defined in enummapset-0.7.2.0 · Data.EnumSet
Semigroup (EnumSet k)Defined in enummapset-0.7.2.0 · Data.EnumSet
Monoid (EnumSet k)Defined in enummapset-0.7.2.0 · Data.EnumSet
NFData (EnumSet k)Defined in enummapset-0.7.2.0 · Data.EnumSet
FromJSON a => FromJSON (EnumSet a)Defined in enummapset-0.7.2.0 · Data.EnumSet
ToJSON (EnumSet a)Defined in enummapset-0.7.2.0 · Data.EnumSet

Wrapping/unwrapping

2 declarations

valueintSetToEnumSet :: IntSet -> EnumSet k

#

Wrap IntSet.

valueenumSetToIntSet :: EnumSet k -> IntSet

#

Unwrap IntSet.

Operators

1 declaration

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

#

Query

10 declarations

valuenull :: EnumSet k -> Bool

#

valuesize :: EnumSet k -> Int

#

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

#

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

#

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

#

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

#

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

#

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

#

valueisSubsetOf :: EnumSet k -> EnumSet k -> Bool

#

valueisProperSubsetOf :: EnumSet k -> EnumSet k -> Bool

#

Construction

4 declarations

valueempty :: EnumSet k

#

valuesingleton :: Enum k => k -> EnumSet k

#

valueinsert :: Enum k => k -> EnumSet k -> EnumSet k

#

valuedelete :: Enum k => k -> EnumSet k -> EnumSet k

#

Combine

4 declarations

valueunion :: EnumSet k -> EnumSet k -> EnumSet k

#

valueunions :: [EnumSet k] -> EnumSet k

#

valuedifference :: EnumSet k -> EnumSet k -> EnumSet k

#

valueintersection :: EnumSet k -> EnumSet k -> EnumSet k

#

Filter

4 declarations

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

#

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

#

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

#

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

#

Map

1 declaration

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

#

Folds

2 declarations

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

#

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

#

Strict folds

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

#

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

#

Legacy folds

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

#

Min/Max

8 declarations

valuefindMin :: Enum k => EnumSet k -> k

#

valuefindMax :: Enum k => EnumSet k -> k

#

valuedeleteMin :: EnumSet k -> EnumSet k

#

valuedeleteMax :: EnumSet k -> EnumSet k

#

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

#

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

#

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

#

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

#

Conversion

0 declarations

List

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

#

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

#

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

#

Ordered list

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

#

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

#

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

#

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

#