A redefinition of the Prelude's Enum class in order to render it safe.
|Version on this page:||0.1.1.2|
|LTS Haskell 20.23:||0.1.1.3|
|Stackage Nightly 2023-06-04:||0.1.1.3|
|Latest on Hackage:||0.1.1.3|
Maintained by firstname.lastname@example.org
This version can be pinned in stack with:
Module documentation for 0.1.1.2
A redefinition of the Prelude's Enum class in order to render it safe. That is, the Haskell Language Report defines pred, succ, fromEnum, and toEnum to be partial functions when the type is Bounded, but this is unacceptable. We define a new type-class hierarchy for enumeration which is safe and also generalizes to cover types which can only be enumerated in one direction.