Module `Ocaml`

type t =

| Unit
| Bool
| Float
| Char
| String
| Int
| Tuple of t list
| Dict of (string * [ `RW | `RO ] * t) list
| Sum of (string * t list) list
| Var of string
| Poly of string
| Arrow of t * t
| Apply of string * t
| Option of t
| List of t
| TTODO of string

val add_new_type : string -> t -> unit

val get_type : string -> t

type v =

| VUnit
| VBool of bool
| VFloat of float
| VInt of int
| VChar of char
| VString of string
| VTuple of v list
| VDict of (string * v) list
| VSum of string * v list
| VVar of string * int64
| VArrow of string
| VNone
| VSome of v
| VList of v list
| VRef of v
| VTODO of string

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_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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/commons/Ocaml/index.html

Module `Ocaml`

package pfff

Install

Dune Dependency

Authors

Maintainers

Sources

doc/commons/Ocaml/index.html

Module Ocaml

Module `Ocaml`