doc/guide/src/MLtonMonoVector.adoc

   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