on master help sign in
Remove deprecated functions in Prelude.Bits
commit7a2309f60822cfebacbf346f6edcacaf655d1d6e authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk> dateFri 10 Nov 2017, 11:05 (9 years ago) parentce48932
1 file changed−25
libs/prelude/Prelude/Bits.idr−25
libs/prelude/Prelude/Bits.idr−25
@@ -111,28 +111,3 @@ b32ToBinString c = concatMap b8ToBinString (b32ToBytes c)
111111||| Encode `Bits64` as a 64-character binary string.
112112b64ToBinString : Bits64 -> String
113113b64ToBinString c = concatMap b8ToBinString (b64ToBytes c)
114−
115−
116−--------------------------------------------------------------------------------
117−-- Deprecated String Functions
118−--------------------------------------------------------------------------------
119−
120−||| Encode `Bits8` as a 2-character hex string.
121−b8ToString : Bits8 -> String
122−b8ToString = b8ToHexString
123−%deprecate b8ToString "Please use `b8ToHexString` instead."
124−
125−||| Encode `Bits16` as a 4-character hex string.
126−b16ToString : Bits16 -> String
127−b16ToString = b16ToHexString
128−%deprecate b16ToString "Please use `b16ToHexString` instead."
129−
130−||| Encode `Bits32` as a 8-character hex string.
131−b32ToString : Bits32 -> String
132−b32ToString = b32ToHexString
133−%deprecate b32ToString "Please use `b32ToHexString` instead."
134−
135−||| Encode `Bits64` as a 16-character hex string.
136−b64ToString : Bits64 -> String
137−b64ToString = b64ToHexString
138−%deprecate b64ToString "Please use `b64ToHexString` instead."