Data.LRUCache1.Internal

Linear Least Recently Used (LRU) Cache Internals

Definitions

data LRUCache1 : Type -> Type -> Type -> Type

  Linear Least Recently Used (LRU) Cache based on hashing.

Totality: total
Visibility: public export
Constructor: 

MkLRUCache1 : Ref s (LRUCache k v) -> LRUCache1 s k v