atdgen 1.9.1 · OCaml Package

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_variant_validator : 
  string ->
  (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr)
    Ag_mapping.variant_mapping ->
  Ag_indent.t list

val make_record_validator : 
  (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.field_mapping
    array ->
  Ag_ocaml.atd_ocaml_record ->
  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

package atdgen