Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > d07d7ab417d79053e7e0155c99e1a1c8 > files > 2709

mlton-20100608-3.fc15.i686.rpm

<!-- dynamic-array.mldoc -->
<!-- Entities.sgml entry 
<!ENTITY DynamicArrayFn SDATA "dynamic-array-fn.sml">
 -->

<!DOCTYPE ML-DOC SYSTEM>

<COPYRIGHT OWNER="Bell Labs, Lucent Technologies" YEAR=1998>
<VERSION VERID="1.0" YEAR=1998 MONTH=6 DAY=9>
<TITLE>The DynamicArrayFn functor</TITLE>

<INTERFACE>
<HEAD>The <CD/DynamicArrayFn/ functor</HEAD>
<SEEALSO>
  <SIGREF DOCUMENT=SML-BASIS-DOC/MONO_ARRAY/
  <SIGREF/MONO_DYNAMIC_ARRAY/
</SEEALSO>

<PP>
The <FCTREF NOLINK/DynamicArrayFn/ functor takes a monomorphic array structure 
as an argument. It produces a structure implementing dynamic arrays. 
These act like arrays of unbounded length.

<FUNCTOR FCTID="DynamicArrayFn">
  <ID/A/<SIGREF DOCUMENT=SML-BASIS-DOC>MONO_ARRAY</SIGREF>
  <ID/MONO_DYNAMIC_ARRAY/
    <WHERETYPE><ID>elem<TY>A.elem</WHERETYPE>
</FUNCTOR>

</INTERFACE>