On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package ringo
Ringo
Ringo is a library for bounded-length collections.
Generic collections
module type UNBOXED_COLLECTION = sig ... endmodule Ring : UNBOXED_COLLECTIONRing is a potentially useful module that is used internally to manage bounded, FIFO collections of items. The documentation is available in UNBOXED_COLLECTION.
module Dll : UNBOXED_COLLECTIONDll is a potentially useful module that is used internally to manage bounded, LRU collections of items. The documentation is available in UNBOXED_COLLECTION.
Cache-oriented collections
module type COLLECTION = sig ... endmodule LRU_Collection : sig ... endLRU_Collection is a COLLECTION meant to be used as a building block in a cache: specifically a cache with a Least-Recently Used replacement policy.
module FIFO_Sloppy_Collection : sig ... endFIFO_Sloppy_Collection is a COLLECTION meant to be used as a building block in a cache: specifically a cache with a First In First Out replacement policy.
module FIFO_Precise_Collection : sig ... endFIFO_Precise_Collection is a COLLECTION meant to be used as a building block in a cache: specifically a cache with a First In First Out replacement policy.
On This Page