Copyright | (c) 2014 Edward L. Blake |
---|---|
License | BSD-style |
Maintainer | Edward L. Blake <edwardlblake@gmail.com> |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
Types used by internal functions and as the opaque types exported by other modules, assume these type definitions to change from version to version.
- newtype ECM a b s m k v = 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)
- newtype CacheState s m k v = CacheState (Maybe s, m k (TimeUnits, TimeUnits, v), ECMMapSize, ([(k, ECMIncr)], ECMULength), ECMIncr)
- 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)
Cache internals
newtype ECM a b s m k v Source
The type that encapsulates a cache map.
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) |
newtype CacheState s m k v Source
The cache state.
CacheState (Maybe s, m k (TimeUnits, TimeUnits, v), ECMMapSize, ([(k, ECMIncr)], ECMULength), ECMIncr) |
type ECMNewState a b s m k v = CacheState s m k v -> a (b (CacheState s m k v)) Source
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 Source
type ECMReadState a b s m k v = b (CacheState s m k v) -> a (CacheState s m k v) Source