Add missing Min/Max bound for Bits8.
commit272b5a5e9df64e79c84c0ccf4fcdda99578fca31
authorGreg Pfeil <greg@technomadic.org>
dateThu 17 Apr 2014, 15:12 (13 years ago)
parente07c13d
libs/prelude/Prelude/Classes.idr+6
@@ -252,6 +252,12 @@ class MaxBound b where
252252 ||| The upper bound for the type
253253 maxBound : b
254254
255+instance MinBound Bits8 where
256+ minBound = 0x0
257+
258+instance MaxBound Bits8 where
259+ maxBound = 0xff
260+
255261instance MinBound Bits16 where
256262 minBound = 0x0
257263