package commons

  1. Overview
  2. Docs
type v =
  1. | VUnit
  2. | VBool of bool
  3. | VFloat of float
  4. | VInt of int
  5. | VChar of char
  6. | VString of string
  7. | VTuple of v list
  8. | VDict of (string * v) list
  9. | VSum of string * v list
  10. | VVar of string * int64
  11. | VArrow of string
  12. | VNone
  13. | VSome of v
  14. | VList of v list
  15. | VRef of v
  16. | VTODO of string
val string_of_v : ?max_depth:int -> v -> string
val map_v : f:(k:(v -> v) -> v -> v) -> v -> 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 Stdlib.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 vof_all3 : ('a -> v) -> ('b -> v) -> ('c -> v) -> ('a * 'b * 'c) -> 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 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) -> 'a Stdlib.ref -> 'b Stdlib.ref
val map_of_ref_do_nothing_share_ref : ('a -> 'a) -> 'a Stdlib.ref -> 'a Stdlib.ref
val map_of_option : ('a -> 'b) -> 'a option -> 'b option
val map_of_list : ('a -> 'b) -> 'a list -> 'b 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 map_of_all3 : ('a -> 'b) -> ('c -> 'd) -> ('e -> 'f) -> ('a * 'c * 'e) -> 'b * 'd * 'f
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_do_visit : ('a -> unit) -> 'a Stdlib.ref -> unit
val v_ref_do_not_visit : ('a -> unit) -> 'a Stdlib.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