package pa_ppx

  1. Overview
  2. Docs

Parameters

module F : FUNMAP

Signature

type ('a, 'b) init_t = ('a, 'b) F.init_t
type ('a, 'b) t = ('a, 'b) F.t ref
val mk : ('a, 'b) F.init_t -> ('a, 'b) F.t ref
val map : ('a, 'b) F.t ref -> 'a -> 'b
val dom : ('a, 'b) F.t ref -> 'a list
val rng : ('a, 'b) F.t ref -> 'b list
val in_dom : ('a, 'b) F.t ref -> 'a -> bool
val in_rng : ('a, 'b) F.t ref -> 'b -> bool
val inv : ('a, 'b) F.t ref -> 'b -> 'a list
val add : ('a, 'b) F.t ref -> ('a * 'b) -> unit
val rmv : ('a, 'b) F.t ref -> 'a -> unit
val remap : ('a, 'b) F.t ref -> 'a -> 'b -> unit
val app : ('a -> 'b -> unit) -> ('a, 'b) F.t ref -> unit
val toList : ('a, 'b) F.t ref -> ('a * 'b) list
val ofList : ('a, 'b) F.init_t -> ('a * 'b) list -> ('a, 'b) F.t ref
val for_all : ('a -> 'b -> bool) -> ('a, 'b) F.t ref -> bool
val exists : ('a -> 'b -> bool) -> ('a, 'b) F.t ref -> bool
val size : ('a, 'b) F.t ref -> int
val empty : ('a, 'b) F.t ref -> bool
val clear : ('a, 'b) F.t ref -> unit
val fold : ('a -> ('b * 'c) -> 'a) -> 'a -> ('b, 'c) F.t ref -> 'a
val try_find : (('a * 'b) -> 'c) -> ('a, 'b) F.t ref -> 'c