bend-osdev-bytes
Releases (3)
Definitions (396)
LAWS.bend
- law le16_round_trip
- law be16_round_trip
- law le32_round_trip
- law be32_round_trip
- law le64_round_trip
- law be64_round_trip
- law byte_below_256
- law take_drop
- law be32_order
- law le32_order
- law be64_order
- law le16_at_offset
- law short_input
- law at_end
- law masks_elements
- law hex_text
- law octets_le16_round_trip
- law octets_be16_round_trip
- law octets_le32_round_trip
- law octets_be32_round_trip
- law octets_le64_round_trip
- law octets_be64_round_trip
- law octets_take_drop
- law octets_of_list_idempotentof_list masks once: converting a byte string to a list and back changes nothing
- law octets_is_eq_refl
- law octets_masks
- law octets_slice
- law octets_append_list
- law octets_of_toevery Octets is a valid byte string: to a list and back changes nothing
- law octets_to_ofa list becomes Octets by masking each element to its low 8 bits
- law octets_zeros_list
- law octets_cons_list
- law octets_len_list
- law octets_take_appenda joined string splits back exactly where it was joined
- law octets_drop_append
- law octets_split_at_append
- law octets_split_short
- law octets_split_text
- law len_fast
- law take_fast
- law append_fast
- law zeros_fast
- law mask_fast
- law of_string_fast
- law to_string_fast
- law hex_fast
- law list_eq_fast
- law rev_rev
- law octets_hex_list
- law octets_to_string_list
- law octets_concat_nil
- law octets_concat_cons
- law octets_len_append
- law octets_len_take
- law octets_len_take_le
- law octets_len_drop
- law octets_len_slice
- law octets_len_slice_le
- law octets_len_zeros
- law octets_len_of_list
- law octets_append_assoc
- law octets_append_empty_l
- law octets_append_empty_r
- law octets_drop_zero
- law octets_take_len
- law octets_drop_drop
- law octets_take_take
- law octets_take_drop_comm
- law octets_drop_take_comm
- law octets_take_append_le
- law octets_take_append_add
- law octets_drop_append_le
- law octets_drop_append_add
- law octets_slice_append_add
- law octets_slice_append_le
- law octets_slice_drop
- law octets_slice_take
- law octets_at_list
- law octets_at_append_add
- law octets_at_append_lt
- law octets_at_drop
- law octets_at_take
- law at_append_add
- law at_append_lt
- law at_drop
- law at_take
- law octets_len_le16
- law octets_len_be16
- law octets_len_le32
- law octets_len_be32
- law octets_len_le64
- law octets_len_be64
- law octets_le16_at_append_add
- law octets_le16_at_append_le
- law octets_le16_at_drop
- law octets_le16_at_take
- law octets_be16_at_append_add
- law octets_be16_at_append_le
- law octets_be16_at_drop
- law octets_be16_at_take