universe-0.4.0.4: Classes for types where we know all the values

Data.Universe.Instances.Eq

Synopsis

An Eq instance for functions, given the input is Finite and the output is Eq. Compares pointwise.

Eq

Finite