Module Bindoj_runtime.Expr

This module provides expression type t and functions for interconversion between t and OCaml type.

type t =
  1. | Unit
  2. | Bool of bool
  3. | Int of int
  4. | Int53p of Kxclib.int53p
  5. | Float of float
  6. | String of string
  7. | Uchar of Stdlib.Uchar.t
  8. | Byte of char
  9. | Bytes of Kxclib.Bytes.t
  10. | Some of t
  11. | None
  12. | Tuple of t list
  13. | List of t list
  14. | Map of (string * t) list
  15. | StringEnum of string
  16. | Refl : 'a Refl.t * 'a -> t
val of_unit : unit -> t
val to_unit : t -> unit option
val of_bool : bool -> t
val to_bool : t -> bool option
val of_int : int -> t
val to_int : t -> int option
val of_int53p : Kxclib.int53p -> t
val to_int53p : t -> Kxclib.int53p option
val of_float : float -> t
val to_float : t -> float option
val of_string : string -> t
val to_string : t -> string option
val of_uchar : Stdlib.Uchar.t -> t
val to_uchar : t -> Stdlib.Uchar.t option
val of_byte : char -> t
val to_byte : t -> char option
val of_bytes : Kxclib.Bytes.t -> t
val to_bytes : t -> Kxclib.Bytes.t option
val of_option : ('a -> t) -> 'a option -> t
val to_option : (t -> 'a option) -> t -> 'a option option
val of_list : ('a -> t) -> 'a list -> t
val to_list : (t -> 'a option) -> t -> 'a list option
val of_map : ('a -> t) -> (string * 'a) list -> t
val to_map : (t -> 'a option) -> t -> (string * 'a) list option
val of_refl : 'a Refl.t -> 'a -> t
val to_refl : 'a Refl.t -> t -> 'a option