hylolib-1.5.3: Tools for hybrid logics related programs

Safe HaskellNone
LanguageHaskell2010

Data.EnumMap

Documentation

data EnumMap a b Source #

Instances

Functor (EnumMap a) Source # 

Methods

fmap :: (a -> b) -> EnumMap a a -> EnumMap a b #

(<$) :: a -> EnumMap a b -> EnumMap a a #

Foldable (EnumMap a) Source # 

Methods

fold :: Monoid m => EnumMap a m -> m #

foldMap :: Monoid m => (a -> m) -> EnumMap a a -> m #

foldr :: (a -> b -> b) -> b -> EnumMap a a -> b #

foldr' :: (a -> b -> b) -> b -> EnumMap a a -> b #

foldl :: (b -> a -> b) -> b -> EnumMap a a -> b #

foldl' :: (b -> a -> b) -> b -> EnumMap a a -> b #

foldr1 :: (a -> a -> a) -> EnumMap a a -> a #

foldl1 :: (a -> a -> a) -> EnumMap a a -> a #

toList :: EnumMap a a -> [a] #

null :: EnumMap a a -> Bool #

length :: EnumMap a a -> Int #

elem :: Eq a => a -> EnumMap a a -> Bool #

maximum :: Ord a => EnumMap a a -> a #

minimum :: Ord a => EnumMap a a -> a #

sum :: Num a => EnumMap a a -> a #

product :: Num a => EnumMap a a -> a #

Eq b => Eq (EnumMap a b) Source # 

Methods

(==) :: EnumMap a b -> EnumMap a b -> Bool #

(/=) :: EnumMap a b -> EnumMap a b -> Bool #

Ord b => Ord (EnumMap a b) Source # 

Methods

compare :: EnumMap a b -> EnumMap a b -> Ordering #

(<) :: EnumMap a b -> EnumMap a b -> Bool #

(<=) :: EnumMap a b -> EnumMap a b -> Bool #

(>) :: EnumMap a b -> EnumMap a b -> Bool #

(>=) :: EnumMap a b -> EnumMap a b -> Bool #

max :: EnumMap a b -> EnumMap a b -> EnumMap a b #

min :: EnumMap a b -> EnumMap a b -> EnumMap a b #

(Read a, Read b) => Read (EnumMap a b) Source # 
(Show a, Show b) => Show (EnumMap a b) Source # 

Methods

showsPrec :: Int -> EnumMap a b -> ShowS #

show :: EnumMap a b -> String #

showList :: [EnumMap a b] -> ShowS #

Monoid (EnumMap a b) Source # 

Methods

mempty :: EnumMap a b #

mappend :: EnumMap a b -> EnumMap a b -> EnumMap a b #

mconcat :: [EnumMap a b] -> EnumMap a b #

empty :: Enum a => EnumMap a b Source #

insert :: Enum a => a -> b -> EnumMap a b -> EnumMap a b Source #

insertWith :: Enum a => (b -> b -> b) -> a -> b -> EnumMap a b -> EnumMap a b Source #

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 b Source #

update :: Enum a => (b -> Maybe b) -> a -> EnumMap a b -> EnumMap a b Source #

lookup :: Enum a => a -> EnumMap a b -> Maybe b Source #

(!) :: Enum a => EnumMap a b -> a -> b Source #

member :: Enum a => a -> EnumMap a b -> Bool Source #

size :: EnumMap a b -> Int Source #

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