Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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. | |
5 | * | |
6 | * MLton is released under a BSD-style license. | |
7 | * See the file MLton-LICENSE for details. | |
8 | *) | |
9 | ||
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 | |
15 | ): MONO_ARRAY_EXTRA | |
16 | where type elem = elem | |
17 | and type vector = MV.vector | |
18 | and type vector_slice = MV.MonoVectorSlice.slice = | |
19 | struct | |
20 | open Array | |
21 | ||
22 | type elem = MV.elem | |
23 | type array = elem array | |
24 | type vector = MV.vector | |
25 | type vector_slice = MV.MonoVectorSlice.slice | |
26 | ||
27 | val fromPoly = fn a => a | |
28 | val toPoly = fn a => a | |
29 | ||
30 | structure MonoArraySlice = | |
31 | struct | |
32 | open ArraySlice | |
33 | ||
34 | type elem = elem | |
35 | type array = array | |
36 | type slice = elem slice | |
37 | type vector = vector | |
38 | type vector_slice = vector_slice | |
39 | ||
40 | val toPoly = fn s => s | |
41 | end | |
42 | end |