package pa_ppx_parsetree

  1. Overview
  2. Docs
package pa_ppx_parsetree
Legend:
Library
Module
Module type
Parameter
Class
Class type
type attribute = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.attribute = {
  1. attr_name : string Ploc.vala located;
  2. attr_payload : payload;
  3. attr_loc : location;
}
and extension = string Ploc.vala located * payload
and attributes = attribute list Ploc.vala
and core_type = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.core_type = {
  1. ptyp_desc : core_type_desc;
  2. ptyp_loc : location;
  3. ptyp_loc_stack : location_stack;
  4. ptyp_attributes : attributes;
}
and core_type_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.core_type_desc =
  1. | Ptyp_xtr of string located
  2. | Ptyp_any
  3. | Ptyp_var of string Ploc.vala
  4. | Ptyp_arrow of arg_label Ploc.vala * core_type * core_type
  5. | Ptyp_tuple of core_type list Ploc.vala
  6. | Ptyp_constr of longident_t Ploc.vala located * core_type list Ploc.vala
  7. | Ptyp_object of object_field list Ploc.vala * closed_flag Ploc.vala
  8. | Ptyp_class of longident_t located * core_type list Ploc.vala
  9. | Ptyp_alias of core_type * string Ploc.vala
  10. | Ptyp_variant of row_field list Ploc.vala * closed_flag Ploc.vala * label list Ploc.vala option Ploc.vala
  11. | Ptyp_poly of string Ploc.vala located list Ploc.vala * core_type
  12. | Ptyp_package of package_type
  13. | Ptyp_extension of extension
and row_field = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.row_field = {
  1. prf_desc : row_field_desc;
  2. prf_loc : location;
  3. prf_attributes : attributes;
}
and object_field = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.object_field = {
  1. pof_desc : object_field_desc;
  2. pof_loc : location;
  3. pof_attributes : attributes;
}
and pattern = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.pattern = {
  1. ppat_desc : pattern_desc;
  2. ppat_loc : location;
  3. ppat_loc_stack : location_stack;
  4. ppat_attributes : attributes;
}
and pattern_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.pattern_desc =
  1. | Ppat_xtr of string located
  2. | Ppat_any
  3. | Ppat_var of string Ploc.vala located
  4. | Ppat_alias of pattern * string Ploc.vala located
  5. | Ppat_constant of constant Ploc.vala
  6. | Ppat_interval of constant Ploc.vala * constant Ploc.vala
  7. | Ppat_tuple of pattern list Ploc.vala
  8. | Ppat_construct of longident_t Ploc.vala located * (string Ploc.vala located list Ploc.vala * pattern) option Ploc.vala
  9. | Ppat_variant of label Ploc.vala * pattern option Ploc.vala
  10. | Ppat_record of (longident_t Ploc.vala located * pattern) list Ploc.vala * closed_flag Ploc.vala
  11. | Ppat_array of pattern list Ploc.vala
  12. | Ppat_or of pattern * pattern
  13. | Ppat_constraint of pattern * core_type
  14. | Ppat_type of longident_t Ploc.vala located
  15. | Ppat_lazy of pattern
  16. | Ppat_unpack of string Ploc.vala option Ploc.vala located
  17. | Ppat_exception of pattern
  18. | Ppat_extension of extension
  19. | Ppat_open of longident_t Ploc.vala located * pattern
and expression = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.expression = {
  1. pexp_desc : expression_desc;
  2. pexp_loc : location;
  3. pexp_loc_stack : location_stack;
  4. pexp_attributes : attributes;
}
and expression_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.expression_desc =
  1. | Pexp_xtr of string located
  2. | Pexp_ident of longident_t Ploc.vala located
  3. | Pexp_constant of constant Ploc.vala
  4. | Pexp_let of rec_flag Ploc.vala * value_binding list Ploc.vala * expression
  5. | Pexp_function of case list Ploc.vala
  6. | Pexp_fun of arg_label Ploc.vala * expression option Ploc.vala * pattern * expression
  7. | Pexp_apply of expression * (arg_label * expression) list Ploc.vala
  8. | Pexp_match of expression * case list Ploc.vala
  9. | Pexp_try of expression * case list Ploc.vala
  10. | Pexp_tuple of expression list Ploc.vala
  11. | Pexp_construct of longident_t Ploc.vala located * expression option Ploc.vala
  12. | Pexp_variant of label Ploc.vala * expression option Ploc.vala
  13. | Pexp_record of (longident_t Ploc.vala located * expression) list Ploc.vala * expression option Ploc.vala
  14. | Pexp_field of expression * longident_t Ploc.vala located
  15. | Pexp_setfield of expression * longident_t Ploc.vala located * expression
  16. | Pexp_array of expression list Ploc.vala
  17. | Pexp_ifthenelse of expression * expression * expression option Ploc.vala
  18. | Pexp_sequence of expression * expression
  19. | Pexp_while of expression * expression
  20. | Pexp_for of pattern * expression * expression * direction_flag Ploc.vala * expression
  21. | Pexp_constraint of expression * core_type
  22. | Pexp_coerce of expression * core_type option Ploc.vala * core_type
  23. | Pexp_send of expression * label Ploc.vala located
  24. | Pexp_new of longident_t Ploc.vala located
  25. | Pexp_setinstvar of label Ploc.vala located * expression
  26. | Pexp_override of (label Ploc.vala located * expression) list Ploc.vala
  27. | Pexp_letmodule of string Ploc.vala option Ploc.vala located * module_expr * expression
  28. | Pexp_letexception of extension_constructor Ploc.vala * expression
  29. | Pexp_assert of expression
  30. | Pexp_lazy of expression
  31. | Pexp_poly of expression * core_type option
  32. | Pexp_object of class_structure
  33. | Pexp_newtype of string Ploc.vala located * expression
  34. | Pexp_pack of module_expr
  35. | Pexp_open of open_declaration * expression
  36. | Pexp_letop of letop
  37. | Pexp_extension of extension
  38. | Pexp_unreachable
and binding_op = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.binding_op = {
  1. pbop_op : string Ploc.vala located;
  2. pbop_pat : pattern;
  3. pbop_exp : expression;
  4. pbop_loc : location;
}
and value_description = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.value_description = {
  1. pval_name : string Ploc.vala located;
  2. pval_type : core_type;
  3. pval_prim : string list Ploc.vala;
  4. pval_attributes : attributes;
  5. pval_loc : location;
}
and type_declaration = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.type_declaration = {
  1. ptype_name : string Ploc.vala located;
  2. ptype_params : (core_type * (variance * injectivity)) list Ploc.vala;
  3. ptype_cstrs : (core_type * core_type * location) list Ploc.vala;
  4. ptype_kind : type_kind;
  5. ptype_private : private_flag Ploc.vala;
  6. ptype_manifest : core_type Ploc.vala option Ploc.vala;
  7. ptype_attributes : attributes;
  8. ptype_loc : location;
}
and type_kind = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.type_kind =
  1. | Ptype_abstract
  2. | Ptype_variant of constructor_declaration list Ploc.vala
  3. | Ptype_record of label_declaration list Ploc.vala
  4. | Ptype_open
and label_declaration = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.label_declaration = {
  1. pld_name : string Ploc.vala located;
  2. pld_mutable : mutable_flag Ploc.vala;
  3. pld_type : core_type Ploc.vala;
  4. pld_loc : location;
  5. pld_attributes : attributes;
}
and constructor_declaration = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.constructor_declaration = {
  1. pcd_name : string Ploc.vala located;
  2. pcd_vars : string Ploc.vala located list Ploc.vala;
  3. pcd_args : constructor_arguments;
  4. pcd_res : core_type option Ploc.vala;
  5. pcd_loc : location;
  6. pcd_attributes : attributes;
}
and constructor_arguments = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.constructor_arguments =
  1. | Pcstr_tuple of core_type list Ploc.vala
  2. | Pcstr_record of label_declaration list Ploc.vala
and type_extension = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.type_extension = {
  1. ptyext_path : longident_t Ploc.vala located;
  2. ptyext_params : (core_type * (variance * injectivity)) list Ploc.vala;
  3. ptyext_constructors : extension_constructor list Ploc.vala;
  4. ptyext_private : private_flag Ploc.vala;
  5. ptyext_loc : location;
  6. ptyext_attributes : attributes;
}
and extension_constructor = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.extension_constructor = {
  1. pext_name : string Ploc.vala located;
  2. pext_kind : extension_constructor_kind;
  3. pext_loc : location;
  4. pext_attributes : attributes;
}
and type_exception = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.type_exception = {
  1. ptyexn_constructor : extension_constructor;
  2. ptyexn_loc : location;
  3. ptyexn_attributes : attributes;
}
and class_type = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.class_type = {
  1. pcty_desc : class_type_desc;
  2. pcty_loc : location;
  3. pcty_attributes : attributes;
}
and class_type_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.class_type_desc =
  1. | Pcty_xtr of string located
  2. | Pcty_constr of longident_t located * core_type list Ploc.vala
  3. | Pcty_signature of class_signature
  4. | Pcty_arrow of arg_label Ploc.vala * core_type * class_type
  5. | Pcty_extension of extension
  6. | Pcty_open of open_description * class_type
and class_type_field = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.class_type_field = {
  1. pctf_desc : class_type_field_desc;
  2. pctf_loc : location;
  3. pctf_attributes : attributes;
}
and !'a class_infos = 'a Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.class_infos = {
  1. pci_virt : virtual_flag Ploc.vala;
  2. pci_params : (core_type * (variance * injectivity)) list Ploc.vala;
  3. pci_name : string Ploc.vala located;
  4. pci_expr : 'a;
  5. pci_loc : location;
  6. pci_attributes : attributes;
}
and class_description = class_type class_infos
and class_type_declaration = class_type class_infos
and class_expr = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.class_expr = {
  1. pcl_desc : class_expr_desc;
  2. pcl_loc : location;
  3. pcl_attributes : attributes;
}
and class_expr_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.class_expr_desc =
  1. | Pcl_xtr of string located
  2. | Pcl_constr of longident_t located * core_type list Ploc.vala
  3. | Pcl_structure of class_structure
  4. | Pcl_fun of arg_label Ploc.vala * expression option Ploc.vala * pattern * class_expr
  5. | Pcl_apply of class_expr * (arg_label * expression) list Ploc.vala
  6. | Pcl_let of rec_flag Ploc.vala * value_binding list Ploc.vala * class_expr
  7. | Pcl_constraint of class_expr * class_type
  8. | Pcl_extension of extension
  9. | Pcl_open of open_description * class_expr
and class_field = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.class_field = {
  1. pcf_desc : class_field_desc;
  2. pcf_loc : location;
  3. pcf_attributes : attributes;
}
and class_field_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.class_field_desc =
  1. | Pcf_inherit of override_flag Ploc.vala * class_expr * string Ploc.vala located option Ploc.vala
  2. | Pcf_val of label Ploc.vala located * mutable_flag Ploc.vala * class_field_kind
  3. | Pcf_method of label Ploc.vala located * private_flag Ploc.vala * class_field_kind
  4. | Pcf_constraint of core_type * core_type
  5. | Pcf_initializer of expression
  6. | Pcf_attribute of attribute
  7. | Pcf_extension of extension
and class_declaration = class_expr class_infos
and module_type = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.module_type = {
  1. pmty_desc : module_type_desc;
  2. pmty_loc : location;
  3. pmty_attributes : attributes;
}
and module_type_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.module_type_desc =
  1. | Pmty_ident of longident_t located
  2. | Pmty_signature of signature
  3. | Pmty_functor of functor_parameter Ploc.vala * module_type
  4. | Pmty_with of module_type * with_constraint list Ploc.vala
  5. | Pmty_typeof of module_expr
  6. | Pmty_extension of extension
  7. | Pmty_alias of longident_t Ploc.vala located
  8. | Pmty_xtr of string located
and signature = signature_item list Ploc.vala
and signature_item_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.signature_item_desc =
  1. | Psig_value of value_description
  2. | Psig_type of rec_flag Ploc.vala * type_declaration list Ploc.vala
  3. | Psig_typesubst of type_declaration list Ploc.vala
  4. | Psig_typext of type_extension
  5. | Psig_exception of type_exception
  6. | Psig_module of module_declaration
  7. | Psig_modsubst of module_substitution
  8. | Psig_recmodule of module_declaration list Ploc.vala
  9. | Psig_modtype of module_type_declaration
  10. | Psig_modtypesubst of module_type_declaration
  11. | Psig_open of open_description
  12. | Psig_include of include_description
  13. | Psig_class of class_description list Ploc.vala
  14. | Psig_class_type of class_type_declaration list Ploc.vala
  15. | Psig_attribute of attribute
  16. | Psig_extension of extension * attributes
and module_declaration = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.module_declaration = {
  1. pmd_name : string Ploc.vala option Ploc.vala located;
  2. pmd_type : module_type;
  3. pmd_attributes : attributes;
  4. pmd_loc : location;
}
and module_substitution = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.module_substitution = {
  1. pms_name : string Ploc.vala located;
  2. pms_manifest : longident_t Ploc.vala located;
  3. pms_attributes : attributes;
  4. pms_loc : location;
}
and module_type_declaration = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.module_type_declaration = {
  1. pmtd_name : string Ploc.vala located;
  2. pmtd_type : module_type option Ploc.vala;
  3. pmtd_attributes : attributes;
  4. pmtd_loc : location;
}
and !'a open_infos = 'a Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.open_infos = {
  1. popen_expr : 'a;
  2. popen_override : override_flag Ploc.vala;
  3. popen_loc : location;
  4. popen_attributes : attributes;
}
and open_description = longident_t Ploc.vala located open_infos
and open_declaration = module_expr open_infos
and !'a include_infos = 'a Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.include_infos = {
  1. pincl_mod : 'a;
  2. pincl_loc : location;
  3. pincl_attributes : attributes;
}
and include_description = module_type include_infos
and include_declaration = module_expr include_infos
and module_expr = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.module_expr = {
  1. pmod_desc : module_expr_desc;
  2. pmod_loc : location;
  3. pmod_attributes : attributes;
}
and module_expr_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.module_expr_desc =
  1. | Pmod_ident of longident_t Ploc.vala located
  2. | Pmod_structure of structure
  3. | Pmod_functor of functor_parameter Ploc.vala * 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
  8. | Pmod_xtr of string located
and structure = structure_item list Ploc.vala
and structure_item_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.structure_item_desc =
  1. | Pstr_eval of expression Ploc.vala * attributes
  2. | Pstr_value of rec_flag Ploc.vala * value_binding list Ploc.vala
  3. | Pstr_primitive of value_description
  4. | Pstr_type of rec_flag Ploc.vala * type_declaration list Ploc.vala
  5. | Pstr_typext of type_extension
  6. | Pstr_exception of type_exception
  7. | Pstr_module of module_binding
  8. | Pstr_recmodule of module_binding list Ploc.vala
  9. | Pstr_modtype of module_type_declaration
  10. | Pstr_open of open_declaration
  11. | Pstr_class of class_declaration list Ploc.vala
  12. | Pstr_class_type of class_type_declaration list Ploc.vala
  13. | Pstr_include of include_declaration
  14. | Pstr_attribute of attribute
  15. | Pstr_extension of extension * attributes
and value_binding = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.value_binding = {
  1. pvb_pat : pattern;
  2. pvb_expr : expression;
  3. pvb_attributes : attributes;
  4. pvb_loc : location;
}
and module_binding = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.module_binding = {
  1. pmb_name : string Ploc.vala option Ploc.vala located;
  2. pmb_expr : module_expr;
  3. pmb_attributes : attributes;
  4. pmb_loc : location;
}
and position = Stdlib.Lexing.position = {
  1. pos_fname : string;
  2. pos_lnum : int;
  3. pos_bol : int;
  4. pos_cnum : int;
}
and location = Pa_ppx_parsetree_pattern_parsetree_500.Location.t = {
  1. loc_start : position;
  2. loc_end : position;
  3. loc_ghost : bool;
}
and !'a located = 'a Pa_ppx_parsetree_pattern_parsetree_500.Asttypes.loc = {
  1. txt : 'a;
  2. loc : location;
}
and str_vala = string Ploc.vala located
and ast_constant = Pa_ppx_parsetree_pattern_parsetree_500.Asttypes.constant =
  1. | Const_int of int
  2. | Const_char of char
  3. | Const_string of string * location * string option
  4. | Const_float of string
  5. | Const_int32 of int32
  6. | Const_int64 of int64
  7. | Const_nativeint of nativeint
and arg_label = Pa_ppx_parsetree_pattern_parsetree_500.Asttypes.arg_label =
  1. | Nolabel
  2. | Labelled of string Ploc.vala
  3. | Optional of string Ploc.vala
and label = string
and rec_flag = Pa_ppx_parsetree_pattern_parsetree_500.Asttypes.rec_flag =
  1. | Nonrecursive
  2. | Recursive
and mutable_flag = Pa_ppx_parsetree_pattern_parsetree_500.Asttypes.mutable_flag =
  1. | Immutable
  2. | Mutable
and virtual_flag = Pa_ppx_parsetree_pattern_parsetree_500.Asttypes.virtual_flag =
  1. | Virtual
  2. | Concrete
and variance = Pa_ppx_parsetree_pattern_parsetree_500.Asttypes.variance =
  1. | Covariant
  2. | Contravariant
  3. | NoVariance
and injectivity = Pa_ppx_parsetree_pattern_parsetree_500.Asttypes.injectivity =
  1. | Injective
  2. | NoInjectivity
and constant = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.constant =
  1. | Pconst_integer of string Ploc.vala * char option
  2. | Pconst_char of char Ploc.vala
  3. | Pconst_string of string Ploc.vala * location * string Ploc.vala option
  4. | Pconst_float of string Ploc.vala * char option
and location_stack = location list
and toplevel_directive = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.toplevel_directive = {
  1. pdir_name : string located;
  2. pdir_arg : directive_argument option;
  3. pdir_loc : location;
}
and directive_argument_desc = Pa_ppx_parsetree_pattern_parsetree_500.Parsetree.directive_argument_desc =
  1. | Pdir_string of string
  2. | Pdir_int of string * char option
  3. | Pdir_ident of longident_t
  4. | Pdir_bool of bool
and functor_parameter_vala = functor_parameter Ploc.vala
module E : sig ... end
module P : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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