@@ -1,18 +1,18 @@
11module Prelude.Bits
22
33import Prelude.Strings
4+import Prelude.Vect
45
56%access public
67%default total
78
8−private
9−hexVect : Vect 16 Char
10−hexVect = ['0', '1', '2', '3', '4', '5', '6', '7', '8', '9',
11− 'A', 'B', 'C', 'D', 'E', 'F']
129
1310private
1411toHexDigit : Fin 16 -> Char
15−toHexDigit n = index n hexVect
12+toHexDigit n = index n hexVect where
13+ hexVect : Vect 16 Char
14+ hexVect = ['0', '1', '2', '3', '4', '5', '6', '7', '8', '9',
15+ 'A', 'B', 'C', 'D', 'E', 'F']
1616
1717b8ToString : Bits8 -> String
1818b8ToString c = pack [c1, c2] where