Documentation

type TMap k a = TVar (Map k a) Source #

emptyIO :: IO (TMap k a) Source #

singleton :: k -> a -> STM (TMap k a) Source #

clear :: TMap k a -> STM () Source #

null :: TMap k a -> STM Bool Source #

lookup :: Ord k => k -> TMap k a -> STM (Maybe a) Source #

lookupIO :: Ord k => k -> TMap k a -> IO (Maybe a) Source #

member :: Ord k => k -> TMap k a -> STM Bool Source #

memberIO :: Ord k => k -> TMap k a -> IO Bool Source #

insert :: Ord k => k -> a -> TMap k a -> STM () Source #

insertM :: Ord k => k -> STM a -> TMap k a -> STM () Source #

delete :: Ord k => k -> TMap k a -> STM () Source #

lookupInsert :: Ord k => k -> a -> TMap k a -> STM (Maybe a) Source #

lookupDelete :: Ord k => k -> TMap k a -> STM (Maybe a) Source #

adjust :: Ord k => (a -> a) -> k -> TMap k a -> STM () Source #

update :: Ord k => (a -> Maybe a) -> k -> TMap k a -> STM () Source #

alter :: Ord k => (Maybe a -> Maybe a) -> k -> TMap k a -> STM () Source #

alterF :: Ord k => (Maybe a -> STM (Maybe a)) -> k -> TMap k a -> STM () Source #

union :: Ord k => Map k a -> TMap k a -> STM () Source #