dwww Home | Manual pages | Find package

Ast_helper.Typ(3o)               OCaml library              Ast_helper.Typ(3o)

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  -> Parse-
       tree.core_type_desc -> Parsetree.core_type

       val  attr  :  Parsetree.core_type  ->  Parsetree.attribute  ->   Parse-
       tree.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 -> Ast-
       types.arg_label -> Parsetree.core_type -> Parsetree.core_type -> Parse-
       tree.core_type

       val  tuple  :  ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse-
       tree.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 -> Parse-
       tree.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 -> Parse-
       tree.core_type -> string -> Parsetree.core_type

       val variant : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->  Parse-
       tree.row_field  list -> Asttypes.closed_flag -> Asttypes.label list op-
       tion -> 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 -> Parse-
       tree.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.Vari-
       able_in_scope if any type variable inside te appears in newtypes .

       Since 4.05

OCamldoc                          2023-02-12                Ast_helper.Typ(3o)

Generated by dwww version 1.15 on Sun Jun 23 04:22:07 CEST 2024.