package visitors

  1. Overview
  2. Docs

Module Ppx_deriving_visitors.VisitorsAnalysisSource

Sourcetype tycon = string
Sourcetype tyvar = string
Sourcetype tyvars = tyvar list
Sourcetype classification =
  1. | LIDENT
  2. | UIDENT
  3. | OTHER
Sourceval classify : string -> classification
Sourceval parse : string -> Ppxlib.longident
Sourceval is_valid_mod_longident : string -> bool
Sourceval is_valid_class_longident : string -> bool
Sourceval is_valid_method_name_prefix : string -> bool
Sourceval select : string -> Ppxlib.Parsetree.attributes -> Ppxlib.Parsetree.attribute option
Sourceval present : string -> Ppxlib.Parsetree.attributes -> bool
Sourcetype opacity =
  1. | Opaque
  2. | NonOpaque
Sourceval opacity : Ppxlib.Parsetree.attributes -> opacity
Sourceval identifier : string Ppx_deriving.Arg.conv
Sourceval name : Ppxlib.Parsetree.attributes -> string option
Sourceval build : Ppxlib.Parsetree.attributes -> Ppxlib.Parsetree.expression option
Sourceval maybe : 'a option -> 'a -> 'a
Sourceval paste : Ppxlib.Parsetree.core_type -> Ppxlib.Parsetree.attributes -> Ppxlib.Parsetree.core_type
Sourceval fix : Ppxlib.Parsetree.label_declaration list -> Ppxlib.Parsetree.label_declaration list
Sourceval type_param_to_tyvar : (Ppxlib.Parsetree.core_type * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity)) -> tyvar
Sourceval type_params_to_tyvars : (Ppxlib.Parsetree.core_type * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity)) list -> tyvar list
Sourceval decl_params : Ppxlib.Parsetree.type_declaration -> tyvars
Sourceval is_local : Ppxlib.Parsetree.type_declaration list -> Ppxlib.Longident.t -> Ppxlib.Parsetree.type_declaration option
Sourceexception Occurs of Ppxlib.Ast_helper.loc
Sourceval occurs_type : tyvar -> Ppxlib.Parsetree.core_type -> unit
Sourceval occurs_types : tyvar -> Ppxlib.Parsetree.core_type list -> unit
Sourceval occurs_row_field : tyvar -> Ppxlib.Parsetree.row_field -> unit
Sourceval occurs_quantifiers : tyvar -> string list -> bool
Sourceval occurs_payload : tyvar -> Ppxlib.Parsetree.payload -> unit
Sourceval unsupported : Ppxlib.Parsetree.core_type -> 'a
Sourceval at_opaque : (Ppxlib.Parsetree.core_type -> unit) -> Ppxlib.Parsetree.core_type -> unit
Sourceval check_poly_under_opaque : tyvar list -> Ppxlib.Parsetree.core_type list -> unit
Sourcetype substitution = tyvar -> Ppxlib.Parsetree.core_type
Sourcetype renaming = tyvar -> tyvar
Sourceval subst_type : substitution -> Ppxlib.Parsetree.core_type -> Ppxlib.Parsetree.core_type
Sourceval subst_types : substitution -> Ppxlib.Parsetree.core_type list -> Ppxlib.Parsetree.core_type list
Sourceval rename_type : renaming -> Ppxlib.Parsetree.core_type -> Ppxlib.Parsetree.core_type