Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature PACK_REAL = |
2 | sig | |
3 | type real | |
4 | ||
5 | val bytesPerElem: int | |
6 | val isBigEndian: bool | |
7 | val toBytes: real -> Word8Vector.vector | |
8 | val fromBytes: Word8Vector.vector -> real | |
9 | val subVec: Word8Vector.vector * int -> real | |
10 | val subArr: Word8Array.array * int -> real | |
11 | val update: Word8Array.array * int * real -> unit | |
12 | end | |
13 | ||
14 | signature PACK_REAL_EXTRA = | |
15 | sig | |
16 | include PACK_REAL | |
17 | val unsafeSubVec: Word8Vector.vector * int -> real | |
18 | val unsafeSubArr: Word8Array.array * int -> real | |
19 | val unsafeUpdate: Word8Array.array * int * real -> unit | |
20 | end |