[Haskell-cafe] Ord/Ix and Bounded?

Zemyla zemyla at gmail.com
Sun Apr 17 01:05:59 UTC 2022

Are there any laws relating Bounded to Ord and Ix? For instance, any
reasonable type should say

minBound <= x == True for all x
maxBound >= x == True for all x
inRange (minBound, maxBound) x == True for all x
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220416/7a40e899/attachment.html>

More information about the Haskell-Cafe mailing list