Data.TimeMap

A time-indexed mutable map for hashable keys.

The goal of this map is to provide moderately fast lookups and insertions for key/value pairs, while implicitly keeping track of the last modification time of each entity. The auxilliary time data is used for filterSince and filterFromNow, which quickly prune the data set to get rid of old entities.

Types

data TimeMap k a

A mutable reference for a time-indexed map, similar to a STRef.

Construction

newTimeMap :: STM (TimeMap k a)

Create a fresh, empty map.

insert :: (Hashable k, Eq k) => k -> a -> TimeMap k a -> IO ()

Inserts a key and value into a TimeMap - it adds the value or overwites an existing entity.

adjust :: (Hashable k, Eq k) => (a -> a) -> k -> TimeMap k a -> IO ()

Adjusts the value at k, while updating its time.

delete :: (Hashable k, Eq k) => k -> TimeMap k a -> STM ()

Deletes the value at k.

Query

lookup :: (Hashable k, Eq k) => k -> TimeMap k a -> STM (Maybe a)

Performs a non-mutating lookup for some key.

timeOf :: (Hashable k, Eq k) => k -> TimeMap k a -> STM (Maybe UTCTime)

ageOf :: (Hashable k, Eq k) => k -> TimeMap k a -> IO (Maybe NominalDiffTime)

keys :: (Hashable k, Eq k) => TimeMap k a -> STM (HashSet k)

elems :: TimeMap k a -> STM [a]

null :: TimeMap k a -> STM Bool

Filter

filter :: (Hashable k, Eq k) => (a -> Bool) -> TimeMap k a -> STM ()

filterWithKey :: (Hashable k, Eq k) => (k -> a -> Bool) -> TimeMap k a -> STM ()

filterSince :: (Hashable k, Eq k) => UTCTime -> TimeMap k a -> STM ()

Filters out all entries older than or equal to a designated time

filterFromNow

Arguments

:: (Hashable k, Eq k)

=> NominalDiffTime

Assumes a positive distance into the past

-> TimeMap k a

-> IO ()

Filters out all entries within some time frame

filterFromNow 1 -- removes entities older than or equal to one second from now