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.
- 5 types
- Packageexpiring-cache-map-0.0.6.1
- Exports5
- LanguageHaskell98
- LicenceBSD-3-Clause
- SourceTypes.hs
Cache internals
5 declarationsThe 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)