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