package sqlgg

  1. Overview
  2. Docs

Module Async_lru.MakeSource

Parameters

module Evict : Evict with type 'a future = 'a IO.future

Signature

Sourcetype ('k, 'v) node = {
  1. mutable prev : ('k, 'v) node option;
  2. mutable next : ('k, 'v) node option;
  3. key : 'k;
  4. value : 'v;
}
Sourcetype ('k, 'v) t = {
  1. mutable head : ('k, 'v) node option;
  2. mutable tail : ('k, 'v) node option;
  3. hash : ('k, ('k, 'v) node) Hashtbl.t;
  4. capacity : int;
  5. mutable size : int;
}
Sourceval create : int -> ('a, 'b) t
Sourceval remove_node : ('a, 'b) t -> ('a, 'b) node -> unit
Sourceval add_to_head : ('a, 'b) t -> ('a, 'b) node -> unit
Sourceval move_to_head : ('a, 'b) t -> ('a, 'b) node -> unit
Sourceval remove_tail : ('a, 'b) t -> ('a, 'b) node option
Sourceval add : 'a -> Evict.value -> ('a, Evict.value) t -> unit IO.future
Sourceval find : 'a -> ('a, 'b) t -> 'b option
Sourceval remove : 'a -> ('a, Evict.value) t -> bool IO.future
Sourceval size : ('a, 'b) t -> int
Sourceval capacity : ('a, 'b) t -> int
Sourceval is_empty : ('a, 'b) t -> bool
Sourceval clear : ('a, Evict.value) t -> unit IO.future