1 (* Copyright (C) 2015 Matthew Fluet.
2 * Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
4 * Copyright (C) 1997-2000 NEC Research Institute.
6 * MLton is released under a BSD-style license.
7 * See the file MLton-LICENSE for details.
10 functor MonoArray (type elem
11 structure MV: MONO_VECTOR_EXTRA
12 where type elem = elem
13 and type vector = elem Vector.vector
14 and type MonoVectorSlice.slice = elem VectorSlice.slice
16 where type elem = elem
17 and type vector = MV.vector
18 and type vector_slice = MV.MonoVectorSlice.slice =
23 type array = elem array
24 type vector = MV.vector
25 type vector_slice = MV.MonoVectorSlice.slice
27 val fromPoly = fn a => a
28 val toPoly = fn a => a
30 structure MonoArraySlice =
36 type slice = elem slice
38 type vector_slice = vector_slice
40 val toPoly = fn s => s