Thanks to all for the very interesting feedback! Your suggestions have resulted in a second release of universe. New in this release: * instances of Universe and Finite for function spaces * some cheeky, optional instances of Eq, Ord, Show, and Read for functions with Finite domains * support for (some) Representable functors * ...but the downside is that this release now relies on TypeFamilies (let me know if this seems like a showstopper for you) Enjoy, and keep the complaints coming! ~d Quoting wagnerdm@seas.upenn.edu:
I've long heralded "data-default" as my favorite ten-line package... before it was released, I found my self writing those a few lines in each project to do just what's done there. Inspired by this, and the fact that there's a separate ten lines that I find myself writing in nearly every project, I'm pleased to announce the initial release of "universe". The package sports just two load-bearing lines:
class Universe a where universe :: [a] class Universe a => Finite a where universeF :: [a]
...along with a dozen or so instances of each. The instance do nothing more than enumerating all the values of the given type.
Hope you enjoy it, and let me know if you think there are some important missing instances!
http://hackage.haskell.org/package/universe https://github.com/dmwit/universe
~d
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell