hylolib-1.3.0: Tools for hybrid logics related programs
Data.EnumMap
data EnumMap a b Source
Instances
empty :: Enum a => EnumMap a bSource
insert :: Enum a => a -> b -> EnumMap a b -> EnumMap a bSource
insertWith :: Enum a => (b -> b -> b) -> a -> b -> EnumMap a b -> EnumMap a bSource
insertLookupWithKey :: Enum a => (a -> b -> b -> b) -> a -> b -> EnumMap a b -> (Maybe b, EnumMap a b)Source
delete :: Enum a => a -> EnumMap a b -> EnumMap a bSource
update :: Enum a => (b -> Maybe b) -> a -> EnumMap a b -> EnumMap a bSource
lookup :: Enum a => a -> EnumMap a b -> Maybe bSource
(!) :: Enum a => EnumMap a b -> a -> bSource
member :: Enum a => a -> EnumMap a b -> BoolSource
null :: EnumMap a b -> BoolSource
size :: EnumMap a b -> IntSource
elems :: EnumMap a b -> [b]Source