Data.WeakDict

Documentation

data Dyn

Dynamic values equipped with the ability to compare to other values.

Instances

Eq Dyn

Methods

(==) :: Dyn -> Dyn -> Bool

(/=) :: Dyn -> Dyn -> Bool

value :: Typeable * b => Dyn -> Maybe b

makeDyn :: (Typeable * a, Eq a) => a -> Dyn

data WeakDict t u

emptyWeak :: IO (WeakDict t u)

An empty WeakDict.

sizeWeak :: WeakDict t u -> IO Int

Size of a WeakDict.

assocsWeak :: WeakDict t u -> IO [(t, u)]

filterWeak :: Eq t => (t -> u -> Bool) -> WeakDict t u -> IO (WeakDict t u)

Filtering contents by a predicate.

insertWeak :: Eq t => t -> u -> WeakDict t u -> IO (WeakDict t u)

Insert a key-value pair into the dictionary, in such a way as that the pair does not keep the key (or value) alive.

fastDeleteWeak :: Eq a => a -> WeakDict a u -> IO ()

Deletes a key-value pair, updating the original structure.

deleteWeak :: Eq t => t -> WeakDict t u -> IO (WeakDict t u)

Deletes a key-value pair, so that the original structure is not affected.

lookupWeak :: Eq a => a -> WeakDict a a1 -> IO (Maybe a1)

Look up a value based on a key.

fastDeleteWeakDyn :: (Typeable * a, Eq a) => a -> WeakDict Dynamic u -> IO ()