@hackage / universe-reverse-instances

Instances of standard classes that are made possible by enumerations

Latest1.1.2

About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause

  • Maintained by: me@dmwit.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.10.1
  2. 9.8.4
  3. 9.6.6
  4. 9.4.8
  5. 9.2.8
  6. 9.0.2
  7. 8.10.7
  8. 8.8.4
  9. 8.6.5

Readme

For example this package provides a Eq (a -> b) instance:

instance (Finite a, Eq b) => Eq (a -> b) where
f == g = and [f x == g x | x <- universeF]