ppxlib 0.25.1 · OCaml Package

Type expressions

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

package ppxlib