package dyn

  1. Overview
  2. Docs
On This Page
  1. Constructors
Dynamic type

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (30)

Authors

  1. J
    Jane Street Group, LLC <opensource@janestreet.com>

Maintainers

  1. J
    Jane Street Group, LLC <opensource@janestreet.com>

Sources

dune-3.21.1.tbz
sha256=84f7a82c6d80a7124f3847e9a489e80cfbeafb7bed3573ac01286ef56fd08d94
sha512=d9fa44e24036d2593adfe59e52e0ad64f3e7e973d23f84af57fc79e38fa210630b0cb55590f314d6ef455333b96a8e0ce188c2720eaae44576222541ba78efb3

doc/dyn/Dyn/index.html

Module DynSource

Dynamic values

Sourcetype 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.

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

Constructors

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