Arbor.LruCache

Documentation

lookup :: Ord k => k -> Cache k v -> IO v

makeCache :: CacheConfig -> (k -> IO v) -> (k -> v -> IO ()) -> IO (Cache k v)

data CacheConfig

Constructors

CacheConfig

Fields

• maxRequestsInFlight :: Int
• maxOccupancy :: Int

Instances

Eq CacheConfig

Defined in Arbor.LruCache.Type

Methods

(==) :: CacheConfig -> CacheConfig -> Bool

(/=) :: CacheConfig -> CacheConfig -> Bool

Show CacheConfig

Defined in Arbor.LruCache.Type

Methods

showsPrec :: Int -> CacheConfig -> ShowS

show :: CacheConfig -> String

showList :: [CacheConfig] -> ShowS

Generic CacheConfig

Defined in Arbor.LruCache.Type

Associated Types

type Rep CacheConfig :: * -> *

Methods

from :: CacheConfig -> Rep CacheConfig x

to :: Rep CacheConfig x -> CacheConfig

type Rep CacheConfig

Defined in Arbor.LruCache.Type

type Rep CacheConfig = D1 (MetaData "CacheConfig" "Arbor.LruCache.Type" "arbor-lru-cache-0.1.1.0-C7a14k7SXkFAiyI8dwMdDV" False) (C1 (MetaCons "CacheConfig" PrefixI True) (S1 (MetaSel (Just "maxRequestsInFlight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "maxOccupancy") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Cache k v

Constructors

Cache

Fields

• config :: CacheConfig
• requestsInFlight :: TVar Int
• entries :: TVar (Map k (TVar (Maybe v)))
• evictionQueue :: TVar (PriorityQueue Int k)
• evictionPriority :: TVar Int
• occupancy :: TVar Int
• retrieve :: k -> IO v
• evict :: k -> v -> IO ()

Instances

Generic (Cache k v)

Defined in Arbor.LruCache.Type

Associated Types

type Rep (Cache k v) :: * -> *

Methods

from :: Cache k v -> Rep (Cache k v) x

to :: Rep (Cache k v) x -> Cache k v

type Rep (Cache k v)

Defined in Arbor.LruCache.Type

type Rep (Cache k v) = D1 (MetaData "Cache" "Arbor.LruCache.Type" "arbor-lru-cache-0.1.1.0-C7a14k7SXkFAiyI8dwMdDV" False) (C1 (MetaCons "Cache" PrefixI True) (((S1 (MetaSel (Just "config") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CacheConfig) :*: S1 (MetaSel (Just "requestsInFlight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TVar Int))) :*: (S1 (MetaSel (Just "entries") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TVar (Map k (TVar (Maybe v))))) :*: S1 (MetaSel (Just "evictionQueue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TVar (PriorityQueue Int k))))) :*: ((S1 (MetaSel (Just "evictionPriority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TVar Int)) :*: S1 (MetaSel (Just "occupancy") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TVar Int))) :*: (S1 (MetaSel (Just "retrieve") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (k -> IO v)) :*: S1 (MetaSel (Just "evict") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (k -> v -> IO ()))))))

retrieveData :: (String, Int) -> IO String

evictData :: (String, Int) -> String -> IO ()

entries :: Ord k => Cache k v -> IO (Map k (Maybe v))