hylolib-1.3.3: Tools for hybrid logics related programs

Data.EnumSet

Documentation

data EnumSet a Source

Instances

insert :: Enum a => a -> EnumSet a -> EnumSet aSource

delete :: Enum a => a -> EnumSet a -> EnumSet aSource

union :: Enum a => EnumSet a -> EnumSet a -> EnumSet aSource

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