MLtonMonoVector

MLton

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