universe-0.1: 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