|
| 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.
|