[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell
Subject:    [Haskell] ANN: universe-0.1
From:       wagnerdm () seas ! upenn ! edu
Date:       2013-03-20 19:54:14
Message-ID: 20130320155414.21271des574hqm7a () webmail ! seas ! upenn ! edu
[Download RAW message or body]

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
>
>



_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
[prev in list] [next in list] [prev in thread] [next in thread]