package ringo

You can search for identifiers within the package.

in-package search v0.2.0

ringo
- CHANGES
- README
- Library ringo
  - Ringo
    
    UNBOXED_COLLECTION
    
    Ring
    
    Dll
    
    CACHE_MAP
    
    H
    
    CACHE_SET
    
    MAP_MAKER
    
    H
    
    EmptyMap
    
    H
    
    SingletonMap
    
    H
    
    SET_MAKER
    
    EmptySet
    
    SingletonSet
- Sources
  - ringo
    
    dll.ml
    
    functors.ml
    
    ring.ml
    
    ringo.ml
    
    ringo__.ml
    
    sigs.ml
    
    sized.ml
    
    strong_tabler.ml
    
    utils.ml
    
    weak_tabler.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Ringo.Ring`Source

Ring is a potentially useful module that is used internally to manage bounded, FIFO collections of items. The documentation is available in UNBOXED_COLLECTION.

It is implemented as an abstraction over an array.

A mutable structure that holds at most a fixed number of values of a same type. Values are not removed by hand, instead, once the limit is reached, adding a value replaces the oldest one in the buffer.

Sourcetype 'a t

The type of bounded-size buffers.

Sourceval create : int -> 'a t

create n allocates a ring buffer that can hold up to n values.

raises [Invalid_argument]
if n is 0 or less.

Sourceval capacity : 'a t -> int

capacity b is the number of elements that b can hold.

Sourceval length : 'a t -> int

length b is the number of elements that are currently in b.

Sourceval add : 'a t -> 'a -> unit

add b v adds the value v to the buffer b. If the buffer b already has capacity b values, the oldest of its values is dropped.

Sourceval add_and_return_erased : 'a t -> 'a -> 'a option

add_and_return_erased b v has the same effect as add b v but it returns the dropped value when applicable.

Sourceval add_list : 'a t -> 'a list -> unit

add_list b vs adds each element of the list vs in the order they appear in the list. Note that if List.length vs > capacity b, then only the last capacity b elements of the list remain in b at the end.

Sourceval clear : 'a t -> unit

clear b removes all values from the buffer b.

Sourceval fold : 'a t -> init:'b -> f:('b -> 'a -> 'b) -> 'b

fold b ~init ~f folds over the value of the buffer b, newest to oldest.

Sourceval fold_oldest_first : 'a t -> init:'b -> f:('b -> 'a -> 'b) -> 'b

fold_oldest_first b ~init ~f folds over the value of the buffer b, oldest to newest.

Sourceval elements : 'a t -> 'a list

elements b is a list that contains the same elements as the buffer b, oldest first, newest last.

package ringo

Module Ringo.RingSource

Module `Ringo.Ring`Source