IdrisDoc: Prelude.Bits

Prelude.Bits

b8ToString : Bits8 -> String
b64ToString : Bits64 -> String
b32ToString : Bits32 -> String
b16ToString : Bits16 -> String