package ppxx

You can search for identifiers within the package.

in-package search v0.2.0

ppxx
- README
- Library ppxx
  - Ppxx
    
    Graph
    
    G
    
    Make
    
    Helper
    
    Longident
    
    Ident
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Path
    
    Map
    
    Set
    
    Location
    
    Name
    
    Typ
    
    Exp
    
    Pat
    
    ExpPat
    
    Cf
    
    Cstr
    
    Mod
    
    Attr
    
    Opn
    
    Sig
    
    Str
    
    Val
    
    Te
    
    Mty
    
    Md
    
    Mtd
    
    Mb
    
    Incl
    
    Cty
    
    Ctf
    
    Cl
    
    Ci
    
    Csig
    
    Type
    
    Vb
    
    Utils
    
    Format
    
    Option
    
    List
    
    String
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    Filename
    
    Xhelper
    
    XLongident
    
    XIdent
    
    XPath
    
    XLocation
    
    Open
    
    Name
    
    XTyp
    
    XExp
    
    XPat
    
    ExpPat
    
    XCf
    
    XCstr
    
    XMod
    
    XAttr
    
    XOpn
    
    XSig
    
    XStr
- Sources
  - ppxx
    
    graph.ml
    
    helper.ml
    
    ppxx.ml
    
    utils.ml
    
    xhelper.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Helper.Typ`Source

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val varify_constructors : 
  string Astlib.Location.loc list ->
  Astlib.Ast_502.Parsetree.core_type ->
  Astlib.Ast_502.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

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

Source

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

Source

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

package ppxx

Module Helper.TypSource

Module `Helper.Typ`Source