Caching.ExpiringCacheMap.Types

Types common to Caching.ExpiringCacheMap.OrdECM and Caching.ExpiringCacheMap.HashECM.

Configuration

data CacheSettings

Constructors

CacheWithLRUList

Fields

mapsize :: ECMMapSize

removalsize :: ECMULength

compactlistsize :: ECMULength

Cache encapsulation

data ECM a b s m k v

The type that encapsulates a cache map.

data CacheState s m k v

The cache state.

Types

type TimeUnits = Int

Integer involved in the time units used to determine when an item expires. The time units used can be any arbitrary integer time representation, such as seconds or milliseconds for examples. They can also be deterministic time steps in a sequencing monad.

type ECMMapSize = Int

Integer involved in the size of a key-value map.

type ECMULength = Int

Integer involved in the length of the usage history list.

type ECMIncr = Word32

Unsigned integer (Word32) involved in the cache state incrementing accumulator.

Types for state function

type ECMNewState a b s m k v = CacheState s m k v -> a (b (CacheState s m k v))

type ECMEnterState a b s m k v = b (CacheState s m k v) -> (CacheState s m k v -> a (CacheState s m k v, v)) -> a v

type ECMReadState a b s m k v = b (CacheState s m k v) -> a (CacheState s m k v)