plucky (3) Ast_helper.Typ.3o.gz

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
       Ast_helper.with_loc -> 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  open_  :  ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.core_type ->
       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