Documentation

data Cache k v Source #

cache :: (MonadIO m, Ord k) => m (Cache k v) Source #

nullCache :: Cache k v Source #

semispaceCache :: (MonadIO m, Ord k) => Word -> m (Cache k v) Source #

lookup :: MonadIO m => Cache k v -> k -> m (Maybe v) Source #

insert :: MonadIO m => Cache k v -> k -> v -> m () Source #

apply :: MonadIO m => Cache k v -> (k -> m v) -> k -> m v Source #

applyDefined :: (MonadIO m, Applicative g, Traversable g) => Cache k v -> (k -> m (g v)) -> k -> m (g v) Source #