Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
Ast_helper.Typ(3)		   OCamldoc		     Ast_helper.Typ(3)

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  ->
       (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  ->	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

2021-03-01			    source:		     Ast_helper.Typ(3)

NAME | Module | Documentation

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=Ast_helper.Typ&sektion=3o&manpath=FreeBSD+13.0-RELEASE+and+Ports>

home | help