Lines Matching refs:update
31 val update : Word8Array.array * int * LargeWord.word -> unit
44 fun update(a, i, v) = Word8Array.update(a, i, Word8.fromLargeWord v)
102 fun update(a, i, v) =
103 (* Check the index before doing any update. *)
107 (Word8Array.update(a, i*2+1, Word8.fromLargeWord v);
108 Word8Array.update(a, i*2, Word8.fromLargeWord(v >> 0w8))
133 fun update(a, i, v) =
134 (* Check the index before doing any update. *)
138 (Word8Array.update(a, i*2, Word8.fromLargeWord v);
139 Word8Array.update(a, i*2+1, Word8.fromLargeWord(v >> 0w8))
168 fun update(a, i, v) =
169 (* Check the index before doing any update. *)
173 (Word8Array.update(a, i*4+3, Word8.fromLargeWord v);
174 Word8Array.update(a, i*4+2, Word8.fromLargeWord(v >> 0w8));
175 Word8Array.update(a, i*4+1, Word8.fromLargeWord(v >> 0w16));
176 Word8Array.update(a, i*4, Word8.fromLargeWord(v >> 0w24))
205 fun update(a, i, v) =
206 (* Check the index before doing any update. *)
210 (Word8Array.update(a, i*4, Word8.fromLargeWord v);
211 Word8Array.update(a, i*4+1, Word8.fromLargeWord(v >> 0w8));
212 Word8Array.update(a, i*4+2, Word8.fromLargeWord(v >> 0w16));
213 Word8Array.update(a, i*4+3, Word8.fromLargeWord(v >> 0w24))