MLton MLTONWIKIVERSION

MLtonMonoArray

Home Index

    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

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