search

parsonsmatt / purescript-trees

Rose trees
GNU Lesser General Public License v3.0
6 stars 6 forks source link

Instance for Comonad and Extend, QuickCheck tests #7

Closed parsonsmatt closed 8 years ago

parsonsmatt commented 8 years ago

Two bits here:

1) Extend/Comonad instance. These are nice to have here. 2) Tests for satisfaction of the various laws on the instances. Helpful for verifying correctness of implementation :smile:

jonsterling commented 8 years ago

Nice, like to see those tests :smile:

:+1: from me

jplatte commented 8 years ago

Well, I've never even heard of most of those typeclasses.. Just go ahead and merge it yourself, I've made you a contributor :D

I'd also be okay with transferring the ownership of this package completely if you think that's a good idea; I haven't even written the most code on it, I simply had the idea of creating it because it would have been useful for a side project that hasn't seen any progress since.

parsonsmatt commented 8 years ago

Thanks!

We can relocate the repository if you want. I myself have a side project that's depending on it, and I don't mind maintaining it.