Module Dyn

Dynamic values

type t =
  1. | Opaque
  2. | Unit
  3. | Int of int
  4. | Int32 of int32
  5. | Int64 of int64
  6. | Nativeint of nativeint
  7. | Bool of bool
  8. | String of string
  9. | Bytes of bytes
  10. | Char of char
  11. | Float of float
  12. | Option of t option
  13. | List of t list
  14. | Array of t array
  15. | Tuple of t list
  16. | Record of (string * t) list
  17. | Variant of string * t list
  18. | Map of (t * t) list
  19. | Set of t list

Representation of OCaml values such that they can be processed without knowing their type.

val equal : t -> t -> bool
val compare : t -> t -> Ordering.t
val hash : t -> int
val pp : t -> _ Pp.t
val to_string : t -> string

Constructors

type 'a builder = 'a -> t
val unit : unit builder
val char : char builder
val string : string builder
val int : int builder
val int32 : int32 builder
val int64 : int64 builder
val nativeint : nativeint builder
val float : float builder
val bool : bool builder
val pair : 'a builder -> 'b builder -> ('a * 'b) builder
val triple : 'a builder -> 'b builder -> 'c builder -> ('a * 'b * 'c) builder
val list : 'a builder -> 'a list builder
val array : 'a builder -> 'a array builder
val option : 'a builder -> 'a option builder
val opaque : _ builder
val record : (string * t) list -> t
val variant : string -> t list -> t
val result : 'a builder -> 'error builder -> ('a, 'error) result builder