git.iko.soy/Idris-dev
on master help sign in
Add missing Min/Max bound for Bits8.
272b5a5Greg Pfeil
libs/prelude/Prelude/Classes.idr+6
compare with master
unifiedsplit
@@ -252,6 +252,12 @@ class MaxBound b where
252 ||| The upper bound for the type
252 ||| The upper bound for the type
253 maxBound : b
253 maxBound : b
254
254
255+instance MinBound Bits8 where
256+ minBound = 0x0
257+
258+instance MaxBound Bits8 where
259+ maxBound = 0xff
260+
255instance MinBound Bits16 where
261instance MinBound Bits16 where
256 minBound = 0x0
262 minBound = 0x0
257
263