Module ODN

module ODN: sig .. end

OCaml data notation.

This module helps to translate OCaml data into a string following OCaml syntax.

Types

type module_name = string

type field_name = string

type variant_name = string

type var_name = string

type t =

`\|`	`REC of module_name * (field_name * t) list`	`(*`	List	`*)`
`\|`	`LST of t list`	`(*`	String	`*)`
`\|`	`STR of string`	`(*`	Variant type constructor	`*)`
`\|`	`VRT of variant_name * t list`	`(*`	Boolean	`*)`
`\|`	`BOO of bool`	`(*`	Integer	`*)`
`\|`	`INT of int`	`(*`	Float	`*)`
`\|`	`FLT of float`	`(*`	Tuple	`*)`
`\|`	`TPL of t list`	`(*`	Unit ()	`*)`
`\|`	`UNT`	`(*`	Function application	`*)`
`\|`	`APP of var_name * (var_name * t) list * t list`	`(*`	Variable	`*)`
`\|`	`VAR of var_name`	`(*`	Polymorphic variant	`*)`
`\|`	`PVR of variant_name * t option`

val of_unit : unit -> t

val of_bool : bool -> t

val of_string : string -> t

val of_int : int -> t

val of_float : float -> t

val of_option : ('a -> t) -> 'a option -> t

val of_list : ('a -> t) -> 'a list -> t

val of_tuple2 : ('a -> t) * ('b -> t) -> 'a * 'b -> t

val of_tuple3 : ('a -> t) * ('b -> t) * ('c -> t) -> 'a * 'b * 'c -> t

val of_tuple4 : ('a -> t) * ('b -> t) * ('c -> t) * ('d -> t) ->
       'a * 'b * 'c * 'd -> t

val of_tuple5 : ('a -> t) * ('b -> t) * ('c -> t) * ('d -> t) * ('e -> t) ->
       'a * 'b * 'c * 'd * 'e -> t

val pp_odn : ?opened_modules:string list -> Format.formatter -> t -> unit

val string_of_odn : ?opened_modules:string list -> t -> string