hylolib-1.5.4: Tools for hybrid logics related programs

Safe HaskellNone
LanguageHaskell2010

Data.EnumMap

Documentation

data EnumMap a b Source #

Instances
Functor (EnumMap a) Source # 
Instance details

Defined in Data.EnumMap

Methods

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

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

Foldable (EnumMap a) Source # 
Instance details

Defined in Data.EnumMap

Methods

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

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

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

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

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

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

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

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

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

null :: EnumMap a a0 -> Bool #

length :: EnumMap a a0 -> Int #

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

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

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

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

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

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

Defined in Data.EnumMap

Methods

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

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

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

Defined in Data.EnumMap

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 # 
Instance details

Defined in Data.EnumMap

(Show a, Show b) => Show (EnumMap a b) Source # 
Instance details

Defined in Data.EnumMap

Methods

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

show :: EnumMap a b -> String #

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

Semigroup (EnumMap a b) Source # 
Instance details

Defined in Data.EnumMap

Methods

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

sconcat :: NonEmpty (EnumMap a b) -> EnumMap a b #

stimes :: Integral b0 => b0 -> EnumMap a b -> EnumMap a b #

Monoid (EnumMap a b) Source # 
Instance details

Defined in Data.EnumMap

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 #