doc/guide/src/MLtonMonoVector.adoc

MLtonMonoVector
===============

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

* `type t`
+
type of monomorphic vector

* `type elem`
+
type of vector elements

* `fromPoly v`
+
type cast a polymorphic vector to its monomorphic counterpart; in
MLton, this is a constant-time operation

* `toPoly v`
+
type cast a monomorphic vector to its polymorphic counterpart; in
MLton, this is a constant-time operation
Commit	Line	Data
	1	MLtonMonoVector
	2	===============
	3
	4	[source,sml]
	5	----
	6	signature MLTON_MONO_VECTOR =
	7	sig
	8	type t
	9	type elem
	10	val fromPoly: elem vector -> t
	11	val toPoly: t -> elem vector
	12	end
	13	----
	14
	15	* `type t`
	16	+
	17	type of monomorphic vector
	18
	19	* `type elem`
	20	+
	21	type of vector elements
	22
	23	* `fromPoly v`
	24	+
	25	type cast a polymorphic vector to its monomorphic counterpart; in
	26	MLton, this is a constant-time operation
	27
	28	* `toPoly v`
	29	+
	30	type cast a monomorphic vector to its polymorphic counterpart; in
	31	MLton, this is a constant-time operation