Data.LRUCache.Internal

Least Recently Used (LRU) Cache Internals

Definitions

Priority : Type

  Logical time at which an element was last accessed.

Totality: total
Visibility: public export

data LRUCache : Type -> Type -> Type

  Least Recently Used (LRU) Cache based on hashing.

Totality: total
Visibility: public export
Constructor: 

MkLRUCache : Nat -> Nat -> Priority -> HashPSQ k Priority v -> LRUCache k v

Hints:

Eq k => Eq v => Eq (LRUCache k v)

Ord k => Ord v => Ord (LRUCache k v)

Show k => Show v => Show (LRUCache k v)