Judy.CollectionsM

Documentation

class Monad m => MapM c k a m | c -> k a m where

Methods

new :: m c

delete :: k -> c -> m Bool

member :: k -> c -> m Bool

lookup :: k -> c -> m (Maybe a)

insert :: k -> a -> c -> m ()

alter :: Eq a => (Maybe a -> Maybe a) -> k -> c -> m (Maybe a)

fromList :: [(k, a)] -> m c

toList :: c -> m [(k, a)]

elems :: c -> m [a]

keys :: c -> m [k]

mapToList :: (k -> a -> b) -> c -> m [b]

swapMaps :: c -> c -> m ()

Instances

Ord k => MapM (IORef (Map k a)) k a IO

MapM (HashTable Int a) Int a IO

MapM (HashTable String a) String a IO

(Stringable k, Refeable a) => MapM (Hash k a) k a IO

(ReversibleHashIO k, Refeable a) => MapM (IntMap k a) k a IO

(Stringable k, Refeable a) => MapM (StrMap k a) k a IO

class MapF c k a | c -> k a where

Methods

memberF :: k -> c -> Bool

lookupF :: k -> c -> Maybe a

fromListF :: [(k, a)] -> c

toListF :: c -> [(k, a)]

Instances

(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