package atdgen

  1. Overview
  2. Docs
val name_of_var : string -> string
val make_ocaml_validate_intf : with_create:bool -> Buffer.t -> ((Ag_ocaml.atd_ocaml_repr, 'a) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, 'b) Ag_mapping.mapping) -> ('c * (Ag_ocaml.atd_ocaml_repr, 'a) Ag_mapping.def list) list -> unit
val nth : string -> int -> int -> string
val get_fields : ([> `Field of Ag_ocaml.atd_ocaml_field ] as 'a, 'b option * bool) Ag_mapping.field_mapping array -> (('a, 'b option * bool) Ag_mapping.field_mapping * string) list
val forall : Ag_indent.t list -> Ag_indent.t list
val unopt : 'a option -> 'a
val return_true : string
val return_true_paren : string
val opt_validator_name : string option -> string
val opt_validator : string option -> [> `Line of string ] list
val opt_validator_s : string option -> string
val prepend_validator : string option -> [> `Block of [> `Block of 'a | `Line of string ] list | `Line of string ] as 'b list as 'a -> 'a
val prepend_validator_s : string option -> string -> string
val prepend_validator_f : string option -> [> `Block of [> `Block of [> `Block of [> `Block of 'a | `Line of string ] list | `Line of string ] list | `Line of string ] list | `Line of string ] as 'b list as 'a -> 'a
val get_validator_name : ?paren:bool -> ?name_f:(string -> string) -> Ag_ov_mapping.ov_mapping -> string
val get_left_validator_name : string -> string list -> string
val make_validator : Ag_ov_mapping.ov_mapping -> Ag_indent.t list
val make_ocaml_validator : original_types:(string, string * int) Hashtbl.t -> bool -> string -> 'a -> (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def -> [> `Block of Atd_indent.t list | `Line of string ] list
val map : (bool -> 'a -> 'b) -> 'a list -> 'b list
val get_let : is_rec:bool -> is_first:bool -> string * string
val make_ocaml_validate_impl : with_create:bool -> original_types:(string, string * int) Hashtbl.t -> Buffer.t -> ((Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, 'a) Ag_mapping.mapping) -> (bool * (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def list) list -> unit
val translate_mapping : (bool * Atd_ast.module_body) list -> (bool * (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def list) list
val write_opens : Buffer.t -> string list -> unit
val make_mli : header:string -> opens:string list -> with_typedefs:bool -> with_create:bool -> with_fundefs:bool -> string -> ((Ag_ocaml.atd_ocaml_repr, 'a) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, 'b) Ag_mapping.mapping) -> ('c * (Ag_ocaml.atd_ocaml_repr, 'a) Ag_mapping.def list) list -> string
val make_ml : header:string -> opens:string list -> with_typedefs:bool -> with_create:bool -> with_fundefs:bool -> original_types:(string, string * int) Hashtbl.t -> string -> ((Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, 'a) Ag_mapping.mapping) -> (bool * (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def list) list -> string
val make_ocaml_files : opens:string list -> with_typedefs:bool -> with_create:bool -> with_fundefs:bool -> all_rec:bool -> pos_fname:string option -> pos_lnum:int option -> type_aliases:string option -> force_defaults:'a -> name_overlap:bool -> ocaml_version:'b -> pp_convs:[ `Camlp4 of string list | `Ppx of string list ] -> string option -> [< `Files of string | `Stdout ] -> unit
OCaml

Innovation. Community. Security.