Data.EnumSet

Set type

newtype EnumSet k

Constructors

EnumSet

Fields

• unEnumSet :: IntSet

Instances

IsList (EnumSet k)

Defined in Data.EnumSet.Wrapper

Associated Types

type Item (EnumSet k) :: Type

Methods

fromList :: [Item (EnumSet k)] -> EnumSet k

fromListN :: Int -> [Item (EnumSet k)] -> EnumSet k

toList :: EnumSet k -> [Item (EnumSet k)]

Eq (EnumSet k)

Defined in Data.EnumSet.Wrapper

Methods

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

(/=) :: EnumSet k -> EnumSet k -> Bool

Data k => Data (EnumSet k)

Defined in Data.EnumSet.Wrapper

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumSet k -> c (EnumSet k)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (EnumSet k)

toConstr :: EnumSet k -> Constr

dataTypeOf :: EnumSet k -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (EnumSet k))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (EnumSet k))

gmapT :: (forall b. Data b => b -> b) -> EnumSet k -> EnumSet k

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumSet k -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumSet k -> r

gmapQ :: (forall d. Data d => d -> u) -> EnumSet k -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumSet k -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumSet k -> m (EnumSet k)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumSet k -> m (EnumSet k)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumSet k -> m (EnumSet k)

Ord (EnumSet k)

Defined in Data.EnumSet.Wrapper

Methods

compare :: EnumSet k -> EnumSet k -> Ordering

(<) :: EnumSet k -> EnumSet k -> Bool

(<=) :: EnumSet k -> EnumSet k -> Bool

(>) :: EnumSet k -> EnumSet k -> Bool

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

max :: EnumSet k -> EnumSet k -> EnumSet k

min :: EnumSet k -> EnumSet k -> EnumSet k

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

Defined in Data.EnumSet.Wrapper

Methods

readsPrec :: Int -> ReadS (EnumSet k)

readList :: ReadS [EnumSet k]

readPrec :: ReadPrec (EnumSet k)

readListPrec :: ReadPrec [EnumSet k]

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

Defined in Data.EnumSet.Wrapper

Methods

showsPrec :: Int -> EnumSet k -> ShowS

show :: EnumSet k -> String

showList :: [EnumSet k] -> ShowS

Semigroup (EnumSet k)

Defined in Data.EnumSet.Wrapper

Methods

(<>) :: EnumSet k -> EnumSet k -> EnumSet k

sconcat :: NonEmpty (EnumSet k) -> EnumSet k

stimes :: Integral b => b -> EnumSet k -> EnumSet k

Monoid (EnumSet k)

Defined in Data.EnumSet.Wrapper

Methods

mempty :: EnumSet k

mappend :: EnumSet k -> EnumSet k -> EnumSet k

mconcat :: [EnumSet k] -> EnumSet k

NFData (EnumSet k)

Defined in Data.EnumSet.Wrapper

Methods

rnf :: EnumSet k -> ()

type Item (EnumSet k)

Defined in Data.EnumSet.Wrapper

type Item (EnumSet k) = Item IntSet

Construction

empty :: EnumSet k

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

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

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

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

Insertion

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

Deletion

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

Query

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

null :: EnumSet k -> Bool

size :: EnumSet k -> Int

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

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

disjoint :: EnumSet k -> EnumSet k -> Bool

Combine

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

unions :: forall f k. (Foldable f, Coercible (f IntSet) (f (EnumSet k))) => f (EnumSet k) -> EnumSet k

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

(\\) :: 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)

splitRoot :: EnumSet k -> [EnumSet k]

Map

map :: (Enum k1, Enum k2) => (k1 -> k2) -> EnumSet k1 -> EnumSet k2

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 :: Enum k => 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]

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

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