hylolib-1.3.0: Tools for hybrid logics related programs

Data.EnumMap

Documentation

data EnumMap a b Source

Instances

Typeable2 EnumMap 
Functor (EnumMap a) 
Typeable a => Typeable1 (EnumMap a) 
Foldable (EnumMap a) 
Eq b => Eq (EnumMap a b) 
Ord b => Ord (EnumMap a b) 
(Read a, Read b) => Read (EnumMap a b) 
(Show a, Show b) => Show (EnumMap a b) 
(Typeable a, Typeable b) => Typeable (EnumMap a b) 
Monoid (EnumMap a b) 

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

elems :: EnumMap a b -> [b]Source