package ppxx

You can search for identifiers within the package.

in-package search v0.2.0

package ppxx

ppxx
- Ppxx
  - Graph
    
    G
    
    Make
    
    G
  - Helper
    
    Attr
    
    Cf
    
    Cstr
    
    Exp
    
    Ident
    
    Location
    
    Longident
    
    Mod
    
    Opn
    
    Pat
    
    Path
    
    Sig
    
    Str
    
    Typ
  - Utils
    
    Filename
    
    Format
    
    Hashtbl
    
    List
    
    Option
    
    String
  - Xhelper
    
    ExpPat
    
    Name
    
    Open
    
    XAttr
    
    XCf
    
    XCstr
    
    XExp
    
    XIdent
    
    XLocation
    
    XLongident
    
    XMod
    
    XOpn
    
    XPat
    
    XPath
    
    XSig
    
    XStr
    
    XTyp

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Ppxlib.Ast_helper.Typ end

Type expressions

val mk : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.core_type_desc ->
  Astlib.Ast_500.Parsetree.core_type

val attr : 
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.attribute ->
  Astlib.Ast_500.Parsetree.core_type

val any : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  unit ->
  Astlib.Ast_500.Parsetree.core_type

val var : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string ->
  Astlib.Ast_500.Parsetree.core_type

val arrow : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Asttypes.arg_label ->
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.core_type

val tuple : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.core_type list ->
  Astlib.Ast_500.Parsetree.core_type

val constr : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.core_type list ->
  Astlib.Ast_500.Parsetree.core_type

val object_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.object_field list ->
  Astlib.Ast_500.Asttypes.closed_flag ->
  Astlib.Ast_500.Parsetree.core_type

val class_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.core_type list ->
  Astlib.Ast_500.Parsetree.core_type

val alias : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.core_type ->
  string ->
  Astlib.Ast_500.Parsetree.core_type

val variant : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.row_field list ->
  Astlib.Ast_500.Asttypes.closed_flag ->
  Astlib.Ast_500.Asttypes.label list option ->
  Astlib.Ast_500.Parsetree.core_type

val poly : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string Astlib.Location.loc list ->
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.core_type

val package : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  (Astlib.Longident.t Astlib.Location.loc * Astlib.Ast_500.Parsetree.core_type)
    list ->
  Astlib.Ast_500.Parsetree.core_type

val extension : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.extension ->
  Astlib.Ast_500.Parsetree.core_type

val force_poly : 
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.core_type

val varify_constructors : 
  string Astlib.Location.loc list ->
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.core_type

varify_constructors newtypes te is type expression te, of which any of nullary type constructor tc is replaced by type variable of the same name, if tc's name appears in newtypes. Raise Syntaxerr.Variable_in_scope if any type variable inside te appears in newtypes.

since 4.05

include module type of struct include Xhelper.XTyp end

val new_var : Ppxlib.Ast.label option -> Ppxlib.Ast.core_type

val ref_ : 
  ?loc:Ppxlib.Ast.location ->
  ?attrs:Ppxlib.Ast_helper.attrs ->
  Ppxlib.Ast.core_type ->
  Ppxlib.Ast.core_type

val option : 
  ?loc:Ppxlib.Ast.location ->
  ?attrs:Ppxlib.Ast_helper.attrs ->
  Ppxlib.Ast.core_type ->
  Ppxlib.Ast.core_type