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 can be useful in case you don't want to use polymorphic equality or you are doing things like hashconsing and you know how to compare or hash your type more efficiently.

Parameters

module H : Hashtbl.HashedType

Signature

type key = Hashtbl.Make(H).key

type !'a t = 'a Hashtbl.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 : 
  ((Hashtbl.Make(H).key -> 'a) -> Hashtbl.Make(H).key -> 'a) ->
  Hashtbl.Make(H).key ->
  'a