On Sun, Dec 21, 2008 at 10:14 PM, Andrew Wagner <wagner.and...@gmail.com> wrote: > I'd love to see a copy of this go up on hackage for experimentation. Would > you care to upload your code, or send it to me so I can upload it?
I've uploaded my latest version to <http://hpaste.org/13263>. It explicitly makes patterns polymorphic over the answer type of the case statement by making Pattern a newtype and universally quantifying the (un)currying and matching functions. For example, (->>) :: Pattern a () vec -> Curry vec ans -> Case a ans I'm not sure it makes sense to create a package just yet. At the very least, you should ask Morten Rhiger first. The type signatures are mine, but the code is mostly straight transcriptions from his paper. -- Dave Menendez <d...@zednenem.com> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
