IdrisDoc: Prelude.Bits

# Prelude.Bits

b8ToString : Bits8 -> String

  Encode `Bits8` as a 2-character hex string.

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.

b64ToString : Bits64 -> String

  Encode `Bits64` as a 16-character hex 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.

b32ToString : Bits32 -> String

  Encode `Bits32` as a 8-character hex 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.

b16ToString : Bits16 -> String

  Encode `Bits16` as a 4-character hex 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.