Module ODNFunc

module ODNFunc: sig .. end

Dump function calls with ODN

The idea of this module is to store a function and its argument with the ODN data structure that should be dumped. This allows to type in a way the function to be dumped.

This module is not exported.
Author(s): Sylvain Le Gall
See also OCaml Data Notation project

type 'a func = {

	`func_call : 'a;`
	`func_name : string;`
	`func_arg : ODN.t option;`

}

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

val func : 'a -> string -> 'a func

Return the OCaml function corresponding to a func.

val func_with_arg : ('a -> 'b) -> string -> 'a -> ('a -> ODN.t) -> 'b func

Create a func with an argument

val odn_of_func : 'a func -> ODN.t

Return the ODN.t code corresponding to a func.

val func_call : 'a func -> 'a

Return the OCaml function corresponding to a func.