Documentation

Wrapper for unsafeIntegerToByteString to make it more convenient to define as a builtin.

Conversion from ByteString to Integer, as per CIP-121.

Wrapper for unsafeByteStringToInteger to make it more convenient to define as a builtin.

Bitwise logical AND, as per CIP-122.

Bitwise logical OR, as per CIP-122.

Bitwise logical XOR, as per CIP-122.

Bitwise logical complement, as per CIP-122.

Wrapper for calling unsafesShiftByteString safely. Specifically, we avoid various edge cases:

• Empty ByteStrings and zero moves don't do anything
• Bit moves whose absolute value is larger than the bit length produce all-zeroes

This also ensures we don't accidentally hit integer overflow issues.

Wrapper for calling unsafeRotateByteString safely. Specifically, we avoid various edge cases:

• Empty ByteStrings and zero moves don't do anything
• Bit moves whose absolute value is larger than the bit length are reduced modulo the length

Furthermore, we can convert all rotations into positive rotations, by noting that a rotation by b is the same as a rotation by b mod bitLen, where bitLen is the length of the ByteString argument in bits. This value is always non-negative, and if we get 0, we have nothing to do. This reduction also helps us avoid integer overflow issues.

Bit read at index, as per CIP-122

Bulk bit write, as per CIP-122

Byte replication, as per CIP-122 We want to cautious about the allocation of huge amounts of memory so we impose the same length limit that's used in integerToByteString.

Counting the number of set bits, as per CIP-123.

Finding the first set bit's index, as per CIP-123.

Conversion from Integer to ByteString, as per CIP-121.

Structured type to help indicate conversion errors.