Data.Cache.Type

By tracing operations we can transform one type of cache into another.

Documentation

data Cache m k t v

Constructors

Caching c m k t v => Cache c

insert :: (Monad m, Caching c m k () v) => c -> k -> v -> m ()

lookup :: (MonadFail m, Caching c m k t v) => c -> k -> m v

lookupMaybe :: (Monad m, Caching c m k t v) => c -> k -> m (Maybe v)

lookupCreating :: (Monad m, Caching c m k () v) => c -> k -> m v -> m v

cached :: (Monad m, Caching c m k t v) => c -> k -> m Bool

evict :: (Monad m, Caching c m k t v) => c -> k -> m ()

data CacheEvent k t v

Constructors

CacheEvict

Fields

• _ceKey :: !k
• _ceTracking :: !t
• _ceValue :: v

CacheAdd

Fields

• _ceKey :: !k
• _ceTracking :: !t
• _ceValue :: v

Instances

(Eq k, Eq t, Eq v) => Eq (CacheEvent k t v)

Defined in Data.Cache.Trace

Methods

(==) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(/=) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(Ord k, Ord t, Ord v) => Ord (CacheEvent k t v)

Defined in Data.Cache.Trace

Methods

compare :: CacheEvent k t v -> CacheEvent k t v -> Ordering

(<) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(<=) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(>) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(>=) :: CacheEvent k t v -> CacheEvent k t v -> Bool

max :: CacheEvent k t v -> CacheEvent k t v -> CacheEvent k t v

min :: CacheEvent k t v -> CacheEvent k t v -> CacheEvent k t v

(Read k, Read t, Read v) => Read (CacheEvent k t v)

Defined in Data.Cache.Trace

Methods

readsPrec :: Int -> ReadS (CacheEvent k t v)

readList :: ReadS [CacheEvent k t v]

readPrec :: ReadPrec (CacheEvent k t v)

readListPrec :: ReadPrec [CacheEvent k t v]

(Show k, Show t, Show v) => Show (CacheEvent k t v)

Defined in Data.Cache.Trace

Methods

showsPrec :: Int -> CacheEvent k t v -> ShowS

show :: CacheEvent k t v -> String

showList :: [CacheEvent k t v] -> ShowS

type CacheTrace k t v = DList (CacheEvent k t v)

class Caching c (m :: * -> *) k t v | c -> m, c -> k, c -> t, c -> v where

c - The cache type. m - The Monad. k - The key. t - The tracking data. This allows caches to store metadata for 3rd parties. v - The value.

Methods

insetTraced :: forall (trc :: Bool). c -> k -> t -> v -> Tracable trc (CacheTrace k t v) m ()

lookupTraced :: forall (trc :: Bool). c -> k -> Tracable trc (CacheTrace k t v) m (Maybe v)

evictTraced :: forall (trc :: Bool). c -> k -> Tracable trc (CacheTrace k t v) m ()

updateTracking :: forall (trc :: Bool). c -> k -> (t -> t) -> Tracable trc (CacheTrace k t v) m ()

Instances

Caching (DictCache m k t v) m k t v

Defined in Data.Cache.Type

Methods

insetTraced :: DictCache m k t v -> k -> t -> v -> Tracable trc (CacheTrace k t v) m ()

lookupTraced :: DictCache m k t v -> k -> Tracable trc (CacheTrace k t v) m (Maybe v)

evictTraced :: DictCache m k t v -> k -> Tracable trc (CacheTrace k t v) m ()

updateTracking :: DictCache m k t v -> k -> (t -> t) -> Tracable trc (CacheTrace k t v) m ()

data DictCache (m :: * -> *) k t v

A reified Caching dictionary so that we can assemble them on demand.

Constructors

DictCache

Fields

• dcIns :: forall (trc :: Bool). k -> t -> v -> Tracable trc (CacheTrace k t v) m ()
• dcLook :: forall (trc :: Bool). k -> Tracable trc (CacheTrace k t v) m (Maybe v)
• dcEvict :: forall (trc :: Bool). k -> Tracable trc (CacheTrace k t v) m ()
• dcUp :: forall (trc :: Bool). k -> (t -> t) -> Tracable trc (CacheTrace k t v) m ()

Instances

Caching (DictCache m k t v) m k t v

Defined in Data.Cache.Type

Methods

insetTraced :: DictCache m k t v -> k -> t -> v -> Tracable trc (CacheTrace k t v) m ()

lookupTraced :: DictCache m k t v -> k -> Tracable trc (CacheTrace k t v) m (Maybe v)

evictTraced :: DictCache m k t v -> k -> Tracable trc (CacheTrace k t v) m ()

updateTracking :: DictCache m k t v -> k -> (t -> t) -> Tracable trc (CacheTrace k t v) m ()