Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | MLtonMonoVector |
2 | =============== | |
3 | ||
4 | [source,sml] | |
5 | ---- | |
6 | signature MLTON_MONO_VECTOR = | |
7 | sig | |
8 | type t | |
9 | type elem | |
10 | val fromPoly: elem vector -> t | |
11 | val toPoly: t -> elem vector | |
12 | end | |
13 | ---- | |
14 | ||
15 | * `type t` | |
16 | + | |
17 | type of monomorphic vector | |
18 | ||
19 | * `type elem` | |
20 | + | |
21 | type of vector elements | |
22 | ||
23 | * `fromPoly v` | |
24 | + | |
25 | type cast a polymorphic vector to its monomorphic counterpart; in | |
26 | MLton, this is a constant-time operation | |
27 | ||
28 | * `toPoly v` | |
29 | + | |
30 | type cast a monomorphic vector to its polymorphic counterpart; in | |
31 | MLton, this is a constant-time operation |