polyml/basis/BoolArray.sml

25     datatype vector = Vector of int * Bootstrap.byteVector (* This has a byte-wise equality. *)
86                     val byte = if a then bit orb acc else acc
91                         RunCall.storeByte(vec, byteno, byte);
94                     else init(byteno, byte, bit << 0w1, b)
111             val byte = if f i then bit orb acc else acc
114             then ( RunCall.storeByte(vec, byteNo, byte) ; init (i+1) (byteNo+0w1) 0w1 0w0 )
115             else init (i+1) byteNo (bit << 0w1) byte
119         else (* Put in the last byte. *)
131             val byte = RunCall.loadByte(v, iW >> 0w3)
134             byte andb mask <> 0w0
138        may not be on the same byte alignment.  Does not examine the
139        destination so if dest_off is not byte aligned any bits required in
140        the first byte must be passed in as src_in.  Returns any bits which
141        do not exactly fit into a byte.  *)
150         fun do_move last byte len : word =
153                 (* Get the next byte and shift it up *)
154                 val newbyte = last orb (RunCall.loadByteFromImmutable(src, byte) << dest_bit)
157                 RunCall.storeByte(dest, dest_byte+byte, newbyte);
159                    the next byte. *)
160                 do_move (newbyte >> 0w8) (byte+0w1) (len-8)
166                 (* Get the next byte and shift it up *)
167                 val nextsrc = RunCall.loadByteFromImmutable(src, byte);
176                     RunCall.storeByte(dest, dest_byte+byte, newbyte);
178                        the next byte. *)
179                     do_move (newbyte >> 0w8) (byte+0w1) (len-8)
231                         val byte = System_loadb(vec, b)
233                             (* Map each byte to get the result.  Must not
235                             if l >= 8 then mapbyte byte 0w1 0w0 0wx100
236                             else mapbyte byte 0w1 0w0 (0w1 << Word.fromInt l)
258                         val byte = RunCall.loadByteFromImmutable(vec, b)
260                             (* Map each byte to get the result.  Must not
262                             if l >= 8 then mapbyte byte 0w1 0w0 0wx100 l
263                             else mapbyte byte 0w1 0w0 (0w1 << Word.fromInt l) l
303                     (* At the end of the lists store any extra in the last byte. *)
369             val byte = RunCall.loadByte(v, byteOffsetW);
372                 if new then byte orb mask
373                 else byte andb (notb mask)