on master help sign in
Constrain Min/MaxBound to Ord instances.
fc8da5fGreg Pfeil
libs/prelude/Prelude/Classes.idr+2−2
@@ -244,11 +244,11 @@ instance Ord Bits64 where
244
244
245-- ------------------------------------------------------------- [ Bounded ]
245-- ------------------------------------------------------------- [ Bounded ]
246
246
247−class MinBound b where
247+class Ord b => MinBound b where
248 ||| The lower bound for the type
248 ||| The lower bound for the type
249 minBound : b
249 minBound : b
250
250
251−class MaxBound b where
251+class Ord b => 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