search

dmwit / universe

Classes for types where we know all the values
BSD 3-Clause "New" or "Revised" License
37 stars 17 forks source link

Add instance for (Finite a, Finite b) => Finite (a -> b) #27

Closed jachymb closed 7 years ago

jachymb commented 7 years ago

There are a^b functions from a to b.

phadej commented 7 years ago

There is: https://github.com/dmwit/universe/blob/f561c9267175da87fc2a0404f836da9231506586/instances/base/Data/Universe/Instances/Base.hs#L119 in universe-instances-base