将 Word8Vector.vector 转换为 Word8VectorSlice.slice

Question

如何在 sml/nj 中将 buf 转换为 Word8VectorSlice.slice？例如，

val msg = "hello\n";
val buf = Byte.stringToBytes msg; (* how to convert to Word8VectorSlice.slice ?*)

Answer 1

Word8VectorSlice.full buf;

文档：http://sml-family.org/Basis/mono-vector-slice.html#SIG:MONO_VECTOR_SLICE.full:VAL