IdrisDoc: Prelude.Bits

Prelude.Bits

b8ToHexString : Bits8 -> String

Encode Bits8 as a 2-character hex string.

b8ToBytes : Bits8 -> List Bits8

Convert to list of Bits8 with the most significant byte at the
head.

b8ToBinString : Bits8 -> String

Encode Bits8 as an 8-character binary string.

b64ToHexString : Bits64 -> String

Encode Bits64 as a 16-character hex string.

b64ToBytes : Bits64 -> List Bits8

Convert to list of Bits8 with the most significant byte at the
head.

b64ToBinString : Bits64 -> String

Encode Bits64 as a 64-character binary string.

b32ToHexString : Bits32 -> String

Encode Bits32 as an 8-character hex string.

b32ToBytes : Bits32 -> List Bits8

Convert to list of Bits8 with the most significant byte at the
head.

b32ToBinString : Bits32 -> String

Encode Bits32 as a 32-character binary string.

b16ToHexString : Bits16 -> String

Encode Bits16 as a 4-character hex string.

b16ToBytes : Bits16 -> List Bits8

Convert to list of Bits8 with the most significant byte at the
head.

b16ToBinString : Bits16 -> String

Encode Bits16 as a 16-character binary string.