hylolib-1.4.0: Tools for hybrid logics related programs
Data.EnumSet
data EnumSet a Source
Instances
empty :: Enum a => EnumSet aSource
singleton :: Enum a => a -> EnumSet aSource
insert :: Enum a => a -> EnumSet a -> EnumSet aSource
delete :: Enum a => a -> EnumSet a -> EnumSet aSource
intersection :: Enum a => EnumSet a -> EnumSet a -> EnumSet aSource
union :: Enum a => EnumSet a -> EnumSet a -> EnumSet aSource
size :: EnumSet a -> IntSource
null :: EnumSet a -> BoolSource
toList :: Enum a => EnumSet a -> [a]Source