hylolib-1.5.1: Tools for hybrid logics related programs

Safe HaskellNone
LanguageHaskell2010

Data.EnumSet

Documentation

data EnumSet a Source #

Instances

Eq (EnumSet a) Source # 

Methods

(==) :: EnumSet a -> EnumSet a -> Bool #

(/=) :: EnumSet a -> EnumSet a -> Bool #

Ord (EnumSet a) Source # 

Methods

compare :: EnumSet a -> EnumSet a -> Ordering #

(<) :: EnumSet a -> EnumSet a -> Bool #

(<=) :: EnumSet a -> EnumSet a -> Bool #

(>) :: EnumSet a -> EnumSet a -> Bool #

(>=) :: EnumSet a -> EnumSet a -> Bool #

max :: EnumSet a -> EnumSet a -> EnumSet a #

min :: EnumSet a -> EnumSet a -> EnumSet a #

Read a => Read (EnumSet a) Source # 
Show a => Show (EnumSet a) Source # 

Methods

showsPrec :: Int -> EnumSet a -> ShowS #

show :: EnumSet a -> String #

showList :: [EnumSet a] -> ShowS #

Monoid (EnumSet a) Source # 

Methods

mempty :: EnumSet a #

mappend :: EnumSet a -> EnumSet a -> EnumSet a #

mconcat :: [EnumSet a] -> EnumSet a #

singleton :: Enum a => a -> EnumSet a Source #

insert :: Enum a => a -> EnumSet a -> EnumSet a Source #

delete :: Enum a => a -> EnumSet a -> EnumSet a Source #

union :: Enum a => EnumSet a -> EnumSet a -> EnumSet a Source #

toList :: Enum a => EnumSet a -> [a] Source #