search

purescript / purescript-contravariant

Contravariant functors
BSD 3-Clause "New" or "Revised" License
10 stars 10 forks source link

Divisible and Decidable #5

Closed paf31 closed 9 years ago

paf31 commented 9 years ago

WIP. Still need to add comments and update the LICENSE file.

garyb commented 9 years ago

Looks good to me, I'm not really that familiar with these classes though, so don't have any deep insights :wink:. Comments would definitely be good.

I assume this doesn't break anything in the dependency hierarchy either, I don't think much depends on contravariant currently.

garyb commented 9 years ago

const and lens actually, that's it.

paf31 commented 9 years ago

Ready for review.

garyb commented 9 years ago

:+1:

I have a feeling I defined Op somewhere else, but I can't find it now. Perhaps it was just in something I was experimenting with.