bend-osdev-bytes

Search uses release 0.1.1.0 · 396 definitions

Releases (3)

0.1.1.1 invalid
expected a package named bend-osdev-word64@0.1.1.1 on https://hub.bend-lang.com

at LAWS.bend:5, PROOF.bend:2, bytes.bend:12, check.bend:2
5 files do not load
0.1.1.0 indexed
0.1.0.0 unindexed

def bits8the low 8 bits of a word, as bits
def of_bits8the byte (0 to 255) with these 8 bits
type OctByteOne byte of an Octets: eight bits as one record, the low bit first.
def oct.ofthe low 8 bits of a word (the high 24 are never looked at)
def oct.tothe byte as a word (0 to 255)
def oct.zero
def bytethe byte of a word: its low 8 bits (through OctByte, so that a byte read back from an Octets and byte(b) are the same term even for an unknown b)
def len
def takethe first n bytes (all of them if there are fewer)
def dropall but the first n bytes
def append
def zerosn zero bytes
def at.headthe byte at offset i, if there is one
def at
def low16the low 16 bits of a word
def le16
def be16
def le32the four bytes of a word, least significant first
def be32.rev
def be32
def le64
def be64
def le16.head
def be16.head
def le32.head
def be32.head
def le64.join