274 lines
4.0 KiB
HTML
274 lines
4.0 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of Ast_helper.Typ</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>Ast_helper.Typ</H1>
|
|
Section: OCaml library (3o)<BR>Updated: 2020-01-30<BR><A HREF="#index">Index</A>
|
|
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
|
|
|
|
<A NAME="lbAB"> </A>
|
|
<H2>NAME</H2>
|
|
|
|
Ast_helper.Typ - Type expressions
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module</H2>
|
|
|
|
Module Ast_helper.Typ
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module
|
|
<B>Typ</B>
|
|
|
|
<BR> :
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
Type expressions
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val mk </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -> Parsetree.core_type_desc -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val attr </I>
|
|
|
|
:
|
|
<B>Parsetree.core_type -> Parsetree.attribute -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val any </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> unit -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val var </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -> string -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val arrow </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -></B>
|
|
|
|
<B>Asttypes.arg_label -></B>
|
|
|
|
<B>Parsetree.core_type -> Parsetree.core_type -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val tuple </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -> Parsetree.core_type list -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val constr </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -></B>
|
|
|
|
<B>Ast_helper.lid -> Parsetree.core_type list -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val object_ </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -></B>
|
|
|
|
<B>Parsetree.object_field list -> Asttypes.closed_flag -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val class_ </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -></B>
|
|
|
|
<B>Ast_helper.lid -> Parsetree.core_type list -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val alias </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -></B>
|
|
|
|
<B>Parsetree.core_type -> string -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val variant </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -></B>
|
|
|
|
<B>Parsetree.row_field list -></B>
|
|
|
|
<B>Asttypes.closed_flag -> Asttypes.label list option -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val poly </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -></B>
|
|
|
|
<B>Ast_helper.str list -> Parsetree.core_type -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val package </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -></B>
|
|
|
|
<B>Ast_helper.lid -></B>
|
|
|
|
<B>(Ast_helper.lid * Parsetree.core_type) list -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val extension </I>
|
|
|
|
:
|
|
<B>?loc:Ast_helper.loc -></B>
|
|
|
|
<B>?attrs:Ast_helper.attrs -> Parsetree.extension -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val force_poly </I>
|
|
|
|
:
|
|
<B>Parsetree.core_type -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val varify_constructors </I>
|
|
|
|
:
|
|
<B>Ast_helper.str list -> Parsetree.core_type -> Parsetree.core_type</B>
|
|
|
|
<P>
|
|
<P>
|
|
<B>varify_constructors newtypes te</B>
|
|
|
|
is type expression
|
|
<B>te</B>
|
|
|
|
, of which
|
|
any of nullary type constructor
|
|
<B>tc</B>
|
|
|
|
is replaced by type variable of
|
|
the same name, if
|
|
<B>tc</B>
|
|
|
|
's name appears in
|
|
<B>newtypes</B>
|
|
|
|
.
|
|
Raise
|
|
<B>Syntaxerr.Variable_in_scope</B>
|
|
|
|
if any type variable inside
|
|
<B>te</B>
|
|
|
|
appears in
|
|
<B>newtypes</B>
|
|
|
|
.
|
|
<P>
|
|
<P>
|
|
<B>Since</B>
|
|
|
|
4.05
|
|
<P>
|
|
<P>
|
|
<P>
|
|
|
|
<HR>
|
|
<A NAME="index"> </A><H2>Index</H2>
|
|
<DL>
|
|
<DT id="1"><A HREF="#lbAB">NAME</A><DD>
|
|
<DT id="2"><A HREF="#lbAC">Module</A><DD>
|
|
<DT id="3"><A HREF="#lbAD">Documentation</A><DD>
|
|
</DL>
|
|
<HR>
|
|
This document was created by
|
|
<A HREF="/cgi-bin/man/man2html">man2html</A>,
|
|
using the manual pages.<BR>
|
|
Time: 00:05:36 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|