Module OASISDataNotationSource

OCaml data notation.

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

Types

Sourcetype module_name = string
Sourcetype field_name = string
Sourcetype variant_name = string
Sourcetype var_name = string
Sourcetype t =
  1. | REC of module_name * (field_name * t) list
    (*

    List

    *)
  2. | LST of t list
    (*

    String

    *)
  3. | STR of string
    (*

    Variant type constructor

    *)
  4. | VRT of variant_name * t list
    (*

    Boolean

    *)
  5. | BOO of bool
    (*

    Tuple

    *)
  6. | TPL of t list
    (*

    Unit ()

    *)
  7. | UNT
    (*

    Function application

    *)
  8. | APP of var_name * (var_name * t) list * t list
    (*

    Variable

    *)
  9. | VAR of var_name
    (*

    Polymorphic variant

    *)
  10. | PVR of variant_name * t option

Basic conversion

Sourceval of_unit : unit -> t
Sourceval of_bool : bool -> t
Sourceval of_string : string -> t
Sourceval of_option : ('a -> t) -> 'a option -> t
Sourceval of_list : ('a -> t) -> 'a list -> t

Function conversion

Sourcetype 'a func = {
  1. func_call : 'a;
  2. func_name : string;
  3. func_arg : t option;
}

Function that can be generated using func_call = APP(func, , func_arg).

Sourceval func : 'a -> string -> 'a func

Return the OCaml function corresponding to a func.

Sourceval func_with_arg : ('a -> 'b) -> string -> 'a -> ('a -> t) -> 'b func

Create a func with an argument

Sourceval func_with_arg_ctxt : (ctxt:'a -> 'b -> 'c) -> string -> 'b -> ('b -> t) -> (ctxt:'a -> 'c) func
Sourceval odn_of_func : 'a func -> t

Return the t code corresponding to a func.

Sourceval func_call : 'a func -> 'a

Return the OCaml function corresponding to a func.

Formating

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