The type that encapsulates a cache map.
Constructors
ECM (b (CacheState s m k v), Maybe s -> k -> a (TimeUnits, (Maybe s, v)), a TimeUnits, ECMMapSize, ECMIncr, ECMULength, ECMULength, ECMEnterState a b s m k v, ECMReadState a b s m k v)
Moduleexpiring-cache-map-0.0.6.1Haskell98
Caching.ExpiringCacheMap.Internal.Types
Types used by internal functions and as the opaque types exported by other modules, assume these type definitions to change from version to version.
Contents
Synopsis
- newtype ECM
- newtype CacheState
- type ECMNewState
- type ECMEnterState
- type ECMReadState
- Packageexpiring-cache-map-0.0.6.1
- Exports5
- LanguageHaskell98
- LicenceBSD-3-Clause
- SourceTypes.hs
Cache internals
The cache state.
Constructors
CacheState (Maybe s, m k (TimeUnits, TimeUnits, v), ECMMapSize, ([(k, ECMIncr)], ECMULength), ECMIncr)
type
type ECMNewState (a :: Type -> Type) (b :: Type -> Type) s (m :: Type -> Type -> Type) k v = CacheState s m k v -> a (b (CacheState s m k v))type
type ECMEnterState (a :: Type -> Type) (b :: Type -> Type) s (m :: Type -> Type -> Type) k v = b (CacheState s m k v) -> (CacheState s m k v -> a (CacheState s m k v, v)) -> a vtype
type ECMReadState (a :: Type -> Type) (b :: Type -> Type) s (m :: Type -> Type -> Type) k v = b (CacheState s m k v) -> a (CacheState s m k v)