[Haskell] ANN: universe-0.1
wagnerdm at seas.upenn.edu
wagnerdm at seas.upenn.edu
Wed Mar 20 20:54:14 CET 2013
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 at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>
>
More information about the Haskell
mailing list