package atdgen

  1. Overview
  2. Docs
val name_of_var : string -> string
val make_ocaml_biniou_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 get_biniou_tag : Ag_ob_mapping.ob_mapping -> string
val nth : string -> int -> int -> string
val get_fields : (([> `Field of Ag_ocaml.atd_ocaml_field ] as 'a, [> `Field of Ag_biniou.biniou_field ] as 'b) Ag_mapping.mapping -> [> `Bool of 'c * [> `Bool ] * 'd | `Float of 'e * [> `Float ] * 'f | `Int of 'g * [> `Int of [< `Char | `Float | `Int | `Int32 | `Int64 ] ] * 'h | `List of 'i * 'j * [> `List of [> `Array | `List ] ] * 'k | `Nullable of 'l * 'm * [> `Nullable ] * 'n | `Option of 'o * 'p * [> `Option ] * 'q | `String of 'r * [> `String ] * 's | `Unit of 't * [> `Unit ] * 'u ]) -> ('a, 'b) Ag_mapping.field_mapping array -> (('a, 'b) Ag_mapping.field_mapping * string * string option * bool * bool) list
val unopt : 'a option -> 'a
val get_writer_name : ?paren:bool -> ?name_f:(string -> string) -> tagged:bool -> Ag_ob_mapping.ob_mapping -> string
val get_left_writer_name : tagged:bool -> string -> string list -> string
val get_left_to_string_name : string -> string list -> string
val get_reader_name : ?paren:bool -> ?name_f:(string -> string) -> tagged:bool -> Ag_ob_mapping.ob_mapping -> string
val get_left_reader_name : tagged:bool -> string -> string list -> string
val get_left_of_string_name : string -> string list -> string
val study_record : ocaml_version:(int * int) option -> 'a -> (('b, 'c) Ag_mapping.field_mapping * string * string option * bool * 'd) list -> [> `Line of string ] list * [> `Line of string ] list * (int -> [> `Line of string ] list) * [> `Line of string ] list * [> `Block of [> `Line of string ] list | `Line of string ] list
val wrap_body : tagged:bool -> int -> 'a -> [> `Annot of string * [> `Line of string ] | `Block of [> `Block of [> `Block of 'a | `Line of string ] list | `Inline of 'a | `Line of string ] list ] list
val wrap_bodies : tagged:bool -> (int * 'a) list -> [> `Block of [> `Block of [> `Inline of [> `Inline of [> `Block of 'a | `Line of string ] list ] list | `Line of string ] list | `Inline of [> `Inline of [> `Block of [> `Block of 'a | `Line of string ] list | `Line of string ] list ] list | `Line of string ] list | `Line of string ] list
val make_reader : ((Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping) -> tagged:bool -> ocaml_version:(int * int) option -> ?type_annot:string -> Ag_ob_mapping.ob_mapping -> Ag_indent.t list
val make_ocaml_biniou_writer : original_types:(string, string * int) Hashtbl.t -> ((Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping) -> bool -> string -> string -> (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.def -> [> `Block of Atd_indent.t list | `Line of string ] list
val make_ocaml_biniou_reader : original_types:(string, string * int) Hashtbl.t -> ocaml_version:(int * int) option -> ((Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping) -> bool -> string -> string -> (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_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_biniou_impl : with_create:bool -> original_types:(string, string * int) Hashtbl.t -> ocaml_version:(int * int) option -> Buffer.t -> ((Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping) -> (bool * (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.def list) list -> unit
val translate_mapping : (bool * Atd_ast.module_body) list -> (bool * (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_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 -> ocaml_version:(int * int) option -> string -> ((Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping -> (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping) -> (bool * (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_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:(int * int) option -> pp_convs:[ `Camlp4 of string list | `Ppx of string list ] -> string option -> [< `Files of string | `Stdout ] -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct