hylolib-1.5.0: Tools for hybrid logics related programs
Data.EnumMap
data EnumMap a b Source #
Instances
Methods
fmap :: (a -> b) -> EnumMap a a -> EnumMap a b #
(<$) :: a -> EnumMap a b -> EnumMap a a #
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 #
(==) :: EnumMap a b -> EnumMap a b -> Bool #
(/=) :: EnumMap a b -> EnumMap a b -> Bool #
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 #
readsPrec :: Int -> ReadS (EnumMap a b) #
readList :: ReadS [EnumMap a b] #
readPrec :: ReadPrec (EnumMap a b) #
readListPrec :: ReadPrec [EnumMap a b] #
showsPrec :: Int -> EnumMap a b -> ShowS #
show :: EnumMap a b -> String #
showList :: [EnumMap a b] -> ShowS #
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 #
null :: EnumMap a b -> Bool Source #
size :: EnumMap a b -> Int Source #
elems :: EnumMap a b -> [b] Source #