pfff 0.39.1 · OCaml Package

type t =

val add_new_type : string -> t -> unit

val get_type : string -> t

type v =

val vof_unit : unit -> v

val vof_bool : bool -> v

val vof_int : int -> v

val vof_float : float -> v

val vof_string : string -> v

val vof_list : ('a -> v) -> 'a list -> v

val vof_option : ('a -> v) -> 'a option -> v

val vof_ref : ('a -> v) -> 'a ref -> v

val vof_either : ('a -> v) -> ('b -> v) -> ('a, 'b) Common.either -> v

val vof_either3 : 
  ('a -> v) ->
  ('b -> v) ->
  ('c -> v) ->
  ('a, 'b, 'c) Common.either3 ->
  v

val int_ofv : v -> int

val float_ofv : v -> float

val unit_ofv : v -> unit

val string_ofv : v -> string

val list_ofv : (v -> 'a) -> v -> 'a list

val option_ofv : (v -> 'a) -> v -> 'a option

val string_of_v : v -> string

val map_v : f:(k:(v -> v) -> v -> v) -> v -> v

val map_of_unit : unit -> unit

val map_of_bool : bool -> bool

val map_of_int : int -> int

val map_of_float : float -> float

val map_of_char : char -> char

val map_of_string : string -> string

val map_of_ref : 'a -> 'b -> 'b

val map_of_option : ('a -> 'b) -> 'a option -> 'b option

val map_of_list : ('a -> 'a) -> 'a list -> 'a list

val map_of_either : 
  ('a -> 'b) ->
  ('c -> 'd) ->
  ('a, 'c) Common.either ->
  ('b, 'd) Common.either

val map_of_either3 : 
  ('a -> 'b) ->
  ('c -> 'd) ->
  ('e -> 'f) ->
  ('a, 'c, 'e) Common.either3 ->
  ('b, 'd, 'f) Common.either3

val v_unit : unit -> unit

val v_bool : bool -> unit

val v_int : int -> unit

val v_float : float -> unit

val v_string : string -> unit

val v_option : ('a -> unit) -> 'a option -> unit

val v_list : ('a -> unit) -> 'a list -> unit

val v_ref : ('a -> unit) -> 'a ref -> unit

val v_either : ('a -> unit) -> ('b -> unit) -> ('a, 'b) Common.either -> unit

val v_either3 : 
  ('a -> unit) ->
  ('b -> unit) ->
  ('c -> unit) ->
  ('a, 'b, 'c) Common.either3 ->
  unit

package pfff