MLton MLTONWIKIVERSION

MLtonMonoVector

Home Index

    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

Last edited on 2007-08-23 03:44:26 by MatthewFluet.