[hcoop/debian/mlton.git] / doc / guide / src / MLtonMonoArray.adoc

MLtonMonoArray
==============

[source,sml]
----
signature MLTON_MONO_ARRAY =
   sig
      type t
      type elem
      val fromPoly: elem array -> t
      val toPoly: t -> elem array
   end
----

* `type t`
+
type of monomorphic array

* `type elem`
+
type of array elements

* `fromPoly a`
+
type cast a polymorphic array to its monomorphic counterpart; the
argument and result arrays share the same identity

* `toPoly a`
+
type cast a monomorphic array to its polymorphic counterpart; the
argument and result arrays share the same identity
Commit	Line	Data
7f918cf1 CE	1	MLtonMonoArray
	2	==============
	3
	4	[source,sml]
	5	----
	6	signature MLTON_MONO_ARRAY =
	7	sig
	8	type t
	9	type elem
	10	val fromPoly: elem array -> t
	11	val toPoly: t -> elem array
	12	end
	13	----
	14
	15	* `type t`
	16	+
	17	type of monomorphic array
	18
	19	* `type elem`
	20	+
	21	type of array elements
	22
	23	* `fromPoly a`
	24	+
	25	type cast a polymorphic array to its monomorphic counterpart; the
	26	argument and result arrays share the same identity
	27
	28	* `toPoly a`
	29	+
	30	type cast a monomorphic array to its polymorphic counterpart; the
	31	argument and result arrays share the same identity