NAME

Ast_helper.Typ - Type expressions

Module

Module Ast_helper.Typ

Documentation

Module Typ
: sig end
 
 
Type expressions
 
 
 
 
 
 
val mk : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.core_type_desc -> Parsetree.core_type
 
 
 
 
val attr : Parsetree.core_type -> Parsetree.attribute -> Parsetree.core_type
 
 
 
 
val any : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> unit -> Parsetree.core_type
 
 
 
 
val var : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> string -> Parsetree.core_type
 
 
 
 
val arrow : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Asttypes.arg_label -> Parsetree.core_type -> Parsetree.core_type -> Parsetree.core_type
 
 
 
 
val tuple : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.core_type list -> Parsetree.core_type
 
 
 
 
val constr : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.core_type list -> Parsetree.core_type
 
 
 
 
val object_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.object_field list -> Asttypes.closed_flag -> Parsetree.core_type
 
 
 
 
val class_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.core_type list -> Parsetree.core_type
 
 
 
 
val alias : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.core_type -> string -> Parsetree.core_type
 
 
 
 
val variant : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.row_field list -> Asttypes.closed_flag -> Asttypes.label list option -> Parsetree.core_type
 
 
 
 
val poly : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.str list -> Parsetree.core_type -> Parsetree.core_type
 
 
 
 
val package : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> (Ast_helper.lid * Parsetree.core_type) list -> Parsetree.core_type
 
 
 
 
val extension : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.extension -> Parsetree.core_type
 
 
 
 
val force_poly : Parsetree.core_type -> Parsetree.core_type
 
 
 
 
val varify_constructors : Ast_helper.str list -> Parsetree.core_type -> 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