visitors 20210608 · OCaml Package

type tycon = string

type tyvar = string

type tyvars = tyvar list

type classification =

val classify : string -> classification

val parse : string -> Ppxlib.longident

val is_valid_mod_longident : string -> bool

val is_valid_class_longident : string -> bool

val is_valid_method_name_prefix : string -> bool

val select : 
  string ->
  Ppxlib.Parsetree.attributes ->
  Ppxlib.Parsetree.attribute option

val present : string -> Ppxlib.Parsetree.attributes -> bool

type opacity =

val opacity : Ppxlib.Parsetree.attributes -> opacity

val identifier : string Ppx_deriving.Arg.conv

val name : Ppxlib.Parsetree.attributes -> string option

val build : Ppxlib.Parsetree.attributes -> Ppxlib.Parsetree.expression option

val maybe : 'a option -> 'a -> 'a

val paste : 
  Ppxlib.Parsetree.core_type ->
  Ppxlib.Parsetree.attributes ->
  Ppxlib.Parsetree.core_type

val fix : 
  Ppxlib.Parsetree.label_declaration list ->
  Ppxlib.Parsetree.label_declaration list

val type_param_to_tyvar : 
  (Ppxlib.Parsetree.core_type
   * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity)) ->
  tyvar

val type_params_to_tyvars : 
  (Ppxlib.Parsetree.core_type
   * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity))
    list ->
  tyvar list

val decl_params : Ppxlib.Parsetree.type_declaration -> tyvars

val is_local : 
  Ppxlib.Parsetree.type_declaration list ->
  Ppxlib.Longident.t ->
  Ppxlib.Parsetree.type_declaration option

exception Occurs of Ppxlib.Ast_helper.loc

val occurs_type : tyvar -> Ppxlib.Parsetree.core_type -> unit

val occurs_types : tyvar -> Ppxlib.Parsetree.core_type list -> unit

val occurs_row_field : tyvar -> Ppxlib.Parsetree.row_field -> unit

val occurs_quantifiers : tyvar -> string list -> bool

val occurs_payload : tyvar -> Ppxlib.Parsetree.payload -> unit

val unsupported : Ppxlib.Parsetree.core_type -> 'a

val at_opaque : 
  (Ppxlib.Parsetree.core_type -> unit) ->
  Ppxlib.Parsetree.core_type ->
  unit

val check_poly_under_opaque : 
  tyvar list ->
  Ppxlib.Parsetree.core_type list ->
  unit

type substitution = tyvar -> Ppxlib.Parsetree.core_type

type renaming = tyvar -> tyvar

val subst_type : 
  substitution ->
  Ppxlib.Parsetree.core_type ->
  Ppxlib.Parsetree.core_type

val subst_types : 
  substitution ->
  Ppxlib.Parsetree.core_type list ->
  Ppxlib.Parsetree.core_type list

val rename_type : 
  renaming ->
  Ppxlib.Parsetree.core_type ->
  Ppxlib.Parsetree.core_type

package visitors