package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'a, !'aa, !'ha, !'b, !'bb, !'hb) t = {
  1. cache : ('aa, 'bb) Module.t;
  2. a2aa : 'a -> 'aa;
  3. aa2a : 'aa -> 'a * 'ha;
  4. b2bb : 'b -> 'bb;
  5. bb2b : 'bb -> 'b * 'hb;
}
val reset : ('a, 'b, 'c, 'd, 'e, 'f) t -> unit
val get_cache : ('a, 'b, 'c, 'd, 'e, 'f) t -> ('b, 'e) Module.t
val iter : ((('a * 'b) * ('c * 'd)) -> unit) -> ('a, 'e, 'b, 'c, 'f, 'd) t -> unit
val apply_ifnotfound : ('a, 'b, 'c, 'd, 'e, 'f) t -> ('g, 'e) Module.t -> ('h -> 'd * 'i) -> 'h -> 'g -> int -> 'd * 'i
val apply : ('a, 'aa, 'ha, 'b, 'bb, 'hb) t -> ('a -> 'b * 'hb) -> 'a -> 'b * 'hb
val make : ?random:bool -> (('a -> 'b) * ('b -> 'a * 'c)) -> (('d -> 'e) * ('e -> 'd * 'f)) -> int -> ('a, 'b, 'c, 'd, 'e, 'f) t * (('a -> 'd * 'f) -> 'a -> 'd * 'f)
val dump_stats : ('a, 'b, 'c, 'd, 'e, 'f) t -> string Tree.tree