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 MonoVector (type elem): MONO_VECTOR_EXTRA
11 where type elem = elem =
14 type array = elem array
16 type vector = elem vector
17 val fromPoly = fn v => v
18 val toPoly = fn v => v
19 structure MonoVectorSlice =
24 type slice = elem slice
25 val fromPoly = fn s => s
26 val toPoly = fn s => s
30 functor EqtypeMonoVector (eqtype elem): EQTYPE_MONO_VECTOR_EXTRA
31 where type elem = elem =
34 type array = elem array
36 type vector = elem vector
37 type vector_eqtype = vector
38 val fromPoly = fn v => v
39 val toPoly = fn v => v
40 structure MonoVectorSlice =
45 type slice = elem slice
46 val fromPoly = fn s => s
47 val toPoly = fn s => s