Documentation
class Monad m => MapM c k a m | c -> k a m whereSource
delete :: k -> c -> m BoolSource
member :: k -> c -> m BoolSource
lookup :: k -> c -> m (Maybe a)Source
insert :: k -> a -> c -> m ()Source
alter :: Eq a => (Maybe a -> Maybe a) -> k -> c -> m (Maybe a)Source
fromList :: [(k, a)] -> m cSource
toList :: c -> m [(k, a)]Source
class MapF c k a | c -> k a whereSource
(Stringable k, Refeable a) => MapF (Frozen (Hash k a)) k a | |
(ReversibleHashIO k, Refeable a) => MapF (Frozen (IntMap k a)) k a | |
(Stringable k, Refeable a) => MapF (Frozen (StrMap k a)) k a |