package ppx_nanocaml

  1. Overview
  2. Docs
Package contains no libraries
include module type of struct include Migrate_parsetree.Ast_405 end
val shallow_identity : Ast_mapper.mapper
val failing_mapper : Ast_mapper.mapper
val make_top_mapper : signature:(Parsetree.signature -> Parsetree.signature) -> structure:(Parsetree.structure -> Parsetree.structure) -> Ast_mapper.mapper
include module type of struct include Migrate_parsetree.Ast_405.Parsetree end
type constant = Migrate_parsetree.Ast_405.Parsetree.constant =
  1. | Pconst_integer of string * char option
  2. | Pconst_char of char
  3. | Pconst_string of string * string option
  4. | Pconst_float of string * char option

Extension points

and attributes = attribute list
and payload = Migrate_parsetree.Ast_405.Parsetree.payload =
  1. | PStr of structure
  2. | PSig of signature
  3. | PTyp of core_type
  4. | PPat of pattern * expression option

Core language

and core_type = Migrate_parsetree.Ast_405.Parsetree.core_type = {
  1. ptyp_desc : core_type_desc;
  2. ptyp_loc : Location.t;
  3. ptyp_attributes : attributes;
}
and pattern = Migrate_parsetree.Ast_405.Parsetree.pattern = {
  1. ppat_desc : pattern_desc;
  2. ppat_loc : Location.t;
  3. ppat_attributes : attributes;
}
and pattern_desc = Migrate_parsetree.Ast_405.Parsetree.pattern_desc =
  1. | Ppat_any
  2. | Ppat_var of string Migrate_parsetree.Ast_405.Asttypes.loc
  3. | Ppat_alias of pattern * string Migrate_parsetree.Ast_405.Asttypes.loc
  4. | Ppat_constant of constant
  5. | Ppat_interval of constant * constant
  6. | Ppat_tuple of pattern list
  7. | Ppat_construct of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc * pattern option
  8. | Ppat_variant of Migrate_parsetree.Ast_405.Asttypes.label * pattern option
  9. | Ppat_record of (Longident.t Migrate_parsetree.Ast_405.Asttypes.loc * pattern) list * Migrate_parsetree.Ast_405.Asttypes.closed_flag
  10. | Ppat_array of pattern list
  11. | Ppat_or of pattern * pattern
  12. | Ppat_constraint of pattern * core_type
  13. | Ppat_type of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc
  14. | Ppat_lazy of pattern
  15. | Ppat_unpack of string Migrate_parsetree.Ast_405.Asttypes.loc
  16. | Ppat_exception of pattern
  17. | Ppat_extension of extension
  18. | Ppat_open of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc * pattern
and expression = Migrate_parsetree.Ast_405.Parsetree.expression = {
  1. pexp_desc : expression_desc;
  2. pexp_loc : Location.t;
  3. pexp_attributes : attributes;
}
and expression_desc = Migrate_parsetree.Ast_405.Parsetree.expression_desc =
  1. | Pexp_ident of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc
  2. | Pexp_constant of constant
  3. | Pexp_let of Migrate_parsetree.Ast_405.Asttypes.rec_flag * value_binding list * expression
  4. | Pexp_function of case list
  5. | Pexp_fun of Migrate_parsetree.Ast_405.Asttypes.arg_label * expression option * pattern * expression
  6. | Pexp_apply of expression * (Migrate_parsetree.Ast_405.Asttypes.arg_label * expression) list
  7. | Pexp_match of expression * case list
  8. | Pexp_try of expression * case list
  9. | Pexp_tuple of expression list
  10. | Pexp_construct of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc * expression option
  11. | Pexp_variant of Migrate_parsetree.Ast_405.Asttypes.label * expression option
  12. | Pexp_record of (Longident.t Migrate_parsetree.Ast_405.Asttypes.loc * expression) list * expression option
  13. | Pexp_field of expression * Longident.t Migrate_parsetree.Ast_405.Asttypes.loc
  14. | Pexp_setfield of expression * Longident.t Migrate_parsetree.Ast_405.Asttypes.loc * expression
  15. | Pexp_array of expression list
  16. | Pexp_ifthenelse of expression * expression * expression option
  17. | Pexp_sequence of expression * expression
  18. | Pexp_while of expression * expression
  19. | Pexp_for of pattern * expression * expression * Migrate_parsetree.Ast_405.Asttypes.direction_flag * expression
  20. | Pexp_constraint of expression * core_type
  21. | Pexp_coerce of expression * core_type option * core_type
  22. | Pexp_send of expression * string Migrate_parsetree.Ast_405.Asttypes.loc
  23. | Pexp_new of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc
  24. | Pexp_setinstvar of string Migrate_parsetree.Ast_405.Asttypes.loc * expression
  25. | Pexp_override of (string Migrate_parsetree.Ast_405.Asttypes.loc * expression) list
  26. | Pexp_letmodule of string Migrate_parsetree.Ast_405.Asttypes.loc * module_expr * expression
  27. | Pexp_letexception of extension_constructor * expression
  28. | Pexp_assert of expression
  29. | Pexp_lazy of expression
  30. | Pexp_poly of expression * core_type option
  31. | Pexp_object of class_structure
  32. | Pexp_newtype of string Migrate_parsetree.Ast_405.Asttypes.loc * expression
  33. | Pexp_pack of module_expr
  34. | Pexp_open of Migrate_parsetree.Ast_405.Asttypes.override_flag * Longident.t Migrate_parsetree.Ast_405.Asttypes.loc * expression
  35. | Pexp_extension of extension
  36. | Pexp_unreachable
and case = Migrate_parsetree.Ast_405.Parsetree.case = {
  1. pc_lhs : pattern;
  2. pc_guard : expression option;
  3. pc_rhs : expression;
}
and value_description = Migrate_parsetree.Ast_405.Parsetree.value_description = {
  1. pval_name : string Migrate_parsetree.Ast_405.Asttypes.loc;
  2. pval_type : core_type;
  3. pval_prim : string list;
  4. pval_attributes : attributes;
  5. pval_loc : Location.t;
}
and type_declaration = Migrate_parsetree.Ast_405.Parsetree.type_declaration = {
  1. ptype_name : string Migrate_parsetree.Ast_405.Asttypes.loc;
  2. ptype_params : (core_type * Migrate_parsetree.Ast_405.Asttypes.variance) list;
  3. ptype_cstrs : (core_type * core_type * Location.t) list;
  4. ptype_kind : type_kind;
  5. ptype_private : Migrate_parsetree.Ast_405.Asttypes.private_flag;
  6. ptype_manifest : core_type option;
  7. ptype_attributes : attributes;
  8. ptype_loc : Location.t;
}
and type_kind = Migrate_parsetree.Ast_405.Parsetree.type_kind =
  1. | Ptype_abstract
  2. | Ptype_variant of constructor_declaration list
  3. | Ptype_record of label_declaration list
  4. | Ptype_open
and constructor_declaration = Migrate_parsetree.Ast_405.Parsetree.constructor_declaration = {
  1. pcd_name : string Migrate_parsetree.Ast_405.Asttypes.loc;
  2. pcd_args : constructor_arguments;
  3. pcd_res : core_type option;
  4. pcd_loc : Location.t;
  5. pcd_attributes : attributes;
}
and constructor_arguments = Migrate_parsetree.Ast_405.Parsetree.constructor_arguments =
  1. | Pcstr_tuple of core_type list
  2. | Pcstr_record of label_declaration list
and extension_constructor = Migrate_parsetree.Ast_405.Parsetree.extension_constructor = {
  1. pext_name : string Migrate_parsetree.Ast_405.Asttypes.loc;
  2. pext_kind : extension_constructor_kind;
  3. pext_loc : Location.t;
  4. pext_attributes : attributes;
}

Class language

and class_type = Migrate_parsetree.Ast_405.Parsetree.class_type = {
  1. pcty_desc : class_type_desc;
  2. pcty_loc : Location.t;
  3. pcty_attributes : attributes;
}
and class_signature = Migrate_parsetree.Ast_405.Parsetree.class_signature = {
  1. pcsig_self : core_type;
  2. pcsig_fields : class_type_field list;
}
and class_type_field = Migrate_parsetree.Ast_405.Parsetree.class_type_field = {
  1. pctf_desc : class_type_field_desc;
  2. pctf_loc : Location.t;
  3. pctf_attributes : attributes;
}
and class_description = class_type class_infos
and class_type_declaration = class_type class_infos
and class_expr = Migrate_parsetree.Ast_405.Parsetree.class_expr = {
  1. pcl_desc : class_expr_desc;
  2. pcl_loc : Location.t;
  3. pcl_attributes : attributes;
}
and class_structure = Migrate_parsetree.Ast_405.Parsetree.class_structure = {
  1. pcstr_self : pattern;
  2. pcstr_fields : class_field list;
}
and class_field = Migrate_parsetree.Ast_405.Parsetree.class_field = {
  1. pcf_desc : class_field_desc;
  2. pcf_loc : Location.t;
  3. pcf_attributes : attributes;
}
and class_declaration = class_expr class_infos

Module language

and module_type = Migrate_parsetree.Ast_405.Parsetree.module_type = {
  1. pmty_desc : module_type_desc;
  2. pmty_loc : Location.t;
  3. pmty_attributes : attributes;
}
and module_type_desc = Migrate_parsetree.Ast_405.Parsetree.module_type_desc =
  1. | Pmty_ident of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc
  2. | Pmty_signature of signature
  3. | Pmty_functor of string Migrate_parsetree.Ast_405.Asttypes.loc * module_type option * module_type
  4. | Pmty_with of module_type * with_constraint list
  5. | Pmty_typeof of module_expr
  6. | Pmty_extension of extension
  7. | Pmty_alias of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc
and signature = signature_item list
and signature_item_desc = Migrate_parsetree.Ast_405.Parsetree.signature_item_desc =
  1. | Psig_value of value_description
  2. | Psig_type of Migrate_parsetree.Ast_405.Asttypes.rec_flag * type_declaration list
  3. | Psig_typext of type_extension
  4. | Psig_exception of extension_constructor
  5. | Psig_module of module_declaration
  6. | Psig_recmodule of module_declaration list
  7. | Psig_modtype of module_type_declaration
  8. | Psig_open of open_description
  9. | Psig_include of include_description
  10. | Psig_class of class_description list
  11. | Psig_class_type of class_type_declaration list
  12. | Psig_attribute of attribute
  13. | Psig_extension of extension * attributes
and module_declaration = Migrate_parsetree.Ast_405.Parsetree.module_declaration = {
  1. pmd_name : string Migrate_parsetree.Ast_405.Asttypes.loc;
  2. pmd_type : module_type;
  3. pmd_attributes : attributes;
  4. pmd_loc : Location.t;
}
and module_type_declaration = Migrate_parsetree.Ast_405.Parsetree.module_type_declaration = {
  1. pmtd_name : string Migrate_parsetree.Ast_405.Asttypes.loc;
  2. pmtd_type : module_type option;
  3. pmtd_attributes : attributes;
  4. pmtd_loc : Location.t;
}
and 'a include_infos = 'a Migrate_parsetree.Ast_405.Parsetree.include_infos = {
  1. pincl_mod : 'a;
  2. pincl_loc : Location.t;
  3. pincl_attributes : attributes;
}
and include_description = module_type include_infos
and include_declaration = module_expr include_infos
and module_expr = Migrate_parsetree.Ast_405.Parsetree.module_expr = {
  1. pmod_desc : module_expr_desc;
  2. pmod_loc : Location.t;
  3. pmod_attributes : attributes;
}
and module_expr_desc = Migrate_parsetree.Ast_405.Parsetree.module_expr_desc =
  1. | Pmod_ident of Longident.t Migrate_parsetree.Ast_405.Asttypes.loc
  2. | Pmod_structure of structure
  3. | Pmod_functor of string Migrate_parsetree.Ast_405.Asttypes.loc * module_type option * module_expr
  4. | Pmod_apply of module_expr * module_expr
  5. | Pmod_constraint of module_expr * module_type
  6. | Pmod_unpack of expression
  7. | Pmod_extension of extension
and structure = structure_item list
and structure_item_desc = Migrate_parsetree.Ast_405.Parsetree.structure_item_desc =
  1. | Pstr_eval of expression * attributes
  2. | Pstr_value of Migrate_parsetree.Ast_405.Asttypes.rec_flag * value_binding list
  3. | Pstr_primitive of value_description
  4. | Pstr_type of Migrate_parsetree.Ast_405.Asttypes.rec_flag * type_declaration list
  5. | Pstr_typext of type_extension
  6. | Pstr_exception of extension_constructor
  7. | Pstr_module of module_binding
  8. | Pstr_recmodule of module_binding list
  9. | Pstr_modtype of module_type_declaration
  10. | Pstr_open of open_description
  11. | Pstr_class of class_declaration list
  12. | Pstr_class_type of class_type_declaration list
  13. | Pstr_include of include_declaration
  14. | Pstr_attribute of attribute
  15. | Pstr_extension of extension * attributes
and value_binding = Migrate_parsetree.Ast_405.Parsetree.value_binding = {
  1. pvb_pat : pattern;
  2. pvb_expr : expression;
  3. pvb_attributes : attributes;
  4. pvb_loc : Location.t;
}
and module_binding = Migrate_parsetree.Ast_405.Parsetree.module_binding = {
  1. pmb_name : string Migrate_parsetree.Ast_405.Asttypes.loc;
  2. pmb_expr : module_expr;
  3. pmb_attributes : attributes;
  4. pmb_loc : Location.t;
}

Toplevel

type toplevel_phrase = Migrate_parsetree.Ast_405.Parsetree.toplevel_phrase =
  1. | Ptop_def of structure
  2. | Ptop_dir of string * directive_argument
and directive_argument = Migrate_parsetree.Ast_405.Parsetree.directive_argument =
  1. | Pdir_none
  2. | Pdir_string of string
  3. | Pdir_int of string * char option
  4. | Pdir_ident of Longident.t
  5. | Pdir_bool of bool
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