package memo

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

memo
- Memo
  - Fake
    
    H
  - Make
    
    H
  - MakeWeak
    
    H
  - Mk
    
    Cache
  - S

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functor that works like the Make one, but the bindings in the memoïzation cache will be weak, allowing the garbage collector to remove them if they are not used somewhere else.

Parameters

module H : Hashtbl.HashedType

Signature

type key = Ephemeron.K1.Make(H).key

type !'a t = 'a Ephemeron.K1.Make(H).t

val create : int -> 'a t

val clear : 'a t -> unit

val reset : 'a t -> unit

val copy : 'a t -> 'a t

val add : 'a t -> key -> 'a -> unit

val remove : 'a t -> key -> unit

val find : 'a t -> key -> 'a

val find_opt : 'a t -> key -> 'a option

val find_all : 'a t -> key -> 'a list

val replace : 'a t -> key -> 'a -> unit

val mem : 'a t -> key -> bool

val iter : (key -> 'a -> unit) -> 'a t -> unit

val filter_map_inplace : (key -> 'a -> 'a option) -> 'a t -> unit

val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b

val length : 'a t -> int

val stats : 'a t -> Hashtbl.statistics

val to_seq : 'a t -> (key * 'a) Seq.t

val to_seq_keys : 'a t -> key Seq.t

val to_seq_values : 'a t -> 'a Seq.t

val add_seq : 'a t -> (key * 'a) Seq.t -> unit

val replace_seq : 'a t -> (key * 'a) Seq.t -> unit

val of_seq : (key * 'a) Seq.t -> 'a t

val memo : 
  ((Ephemeron.K1.Make(H).key -> 'a) -> Ephemeron.K1.Make(H).key -> 'a) ->
  Ephemeron.K1.Make(H).key ->
  'a