hylolib-1.5.4: Tools for hybrid logics related programs
Data.EnumSet
data EnumSet a Source #
Defined in Data.EnumSet
Methods
(==) :: EnumSet a -> EnumSet a -> Bool #
(/=) :: EnumSet a -> EnumSet a -> Bool #
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 #
readsPrec :: Int -> ReadS (EnumSet a) #
readList :: ReadS [EnumSet a] #
readPrec :: ReadPrec (EnumSet a) #
readListPrec :: ReadPrec [EnumSet a] #
showsPrec :: Int -> EnumSet a -> ShowS #
show :: EnumSet a -> String #
showList :: [EnumSet a] -> ShowS #
(<>) :: EnumSet a -> EnumSet a -> EnumSet a #
sconcat :: NonEmpty (EnumSet a) -> EnumSet a #
stimes :: Integral b => b -> EnumSet a -> EnumSet a #
mempty :: EnumSet a #
mappend :: EnumSet a -> EnumSet a -> EnumSet a #
mconcat :: [EnumSet a] -> EnumSet a #
empty :: Enum a => EnumSet a Source #
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 #
intersection :: Enum a => EnumSet a -> EnumSet a -> EnumSet a Source #
union :: Enum a => EnumSet a -> EnumSet a -> EnumSet a Source #
size :: EnumSet a -> Int Source #
null :: EnumSet a -> Bool Source #
toList :: Enum a => EnumSet a -> [a] Source #