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  ->  (Ast_helper.str  *
       Parsetree.attributes   *   Parsetree.core_type)   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