Description
A Haskell library for generalized boolean and numeric abstractions. It lets code express logic-like operations in contexts beyond the standard Bool and number types.
Developers use it in generic programming, symbolic computation, and libraries that model conditions abstractly. It is mainly useful to Haskell library authors and advanced users.