pa_ppx

PPX Rewriters for Ocaml, written using Camlp5
IN THIS PACKAGE

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