package atdgen

You can search for identifiers within the package.

in-package search v0.2.0

package atdgen

atdgen
- Ag_biniou
- Ag_doc
- Ag_doc_lexer
- Ag_error
- Ag_indent
- Ag_json
- Ag_mapping
  - Env
- Ag_ob_emit
- Ag_ob_mapping
- Ag_ob_run
- Ag_ob_spe
- Ag_ocaml
- Ag_oj_emit
- Ag_oj_mapping
- Ag_oj_run
- Ag_ov_emit
- Ag_ov_mapping
  - H
- Ag_ov_run
- Ag_ox_emit
- Ag_string_match
- Ag_util
  - Biniou
  - Json
  - Validation
- Ag_validate
- Ag_version
- Ag_xb_emit

Legend:
Library
Module
Module type
Parameter
Class
Class type

type !'a expr = ('a, Ag_biniou.biniou_repr) Ag_mapping.mapping

type !'a def = ('a, Ag_biniou.biniou_repr) Ag_mapping.def

type !'a grouped_defs = (bool * 'a def list) list

type name = Ag_mapping.loc * string

type names = {

field_names : name list list;
variant_names : name list list;

}

val extract_names_from_expr : 
  ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list) ->
  'a expr ->
  (Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list

val extract_names_from_variant : 
  ((Ag_mapping.loc * string) list
   * ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list)) ->
  ('a, Ag_biniou.biniou_repr) Ag_mapping.variant_mapping ->
  (Ag_mapping.loc * string) list
  * ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list)

val extract_names_from_field : 
  ((Ag_mapping.loc * string) list
   * ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list)) ->
  ('a, Ag_biniou.biniou_repr) Ag_mapping.field_mapping ->
  (Ag_mapping.loc * string) list
  * ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list)

val extract_names_from_cell : 
  ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list) ->
  ('a, Ag_biniou.biniou_repr) Ag_mapping.cell_mapping ->
  (Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list

val extract_ocaml_names_from_defs : 
  ('a, Ag_biniou.biniou_repr) Ag_mapping.def list ->
  names

val flatten_defs : 'a grouped_defs -> 'a def list

val check_duplicate_hashes : string -> (Atd_ast.loc * string) list -> unit

val check_hashes : names -> unit

val check : 'a grouped_defs -> unit