|
A new element is added to the cache or an already existing element
was accessed.
|
|
|
Returns the "last" element w.r.t. the caching policy.
|
|
|
Removes and returns the "last" element w.r.t. the caching policy.
|
|
|
Creates an empty cache structure.
|
|
|
Checks for emptyness.
|
|
|
Transforms the cache structure to a list.
|
|
delete :: a -> c a -> c a | Source |
|
An element is deleted.
|
|
|
Checks if an element is in the cache structure.
|
|
|
Returns the size. Should be O(1).
|
|
|
Runs pop a number of times. Has a default implementation.
|