search

paf31 / purescript-isomorphisms

A category of isomorphisms, and some standard isomorphisms
4 stars 2 forks source link

Update for PureScript 0.7 and Common Isomorphisms #2

Closed DavidHarrison closed 9 years ago

DavidHarrison commented 9 years ago

The only change needed for 0.7 was replacing (<<<) with compose in the Semigroupoid instance. The isomorphisms are mostly arithmetic laws. The naming for the isomorphisms is fairly ad hoc, though I generally aimed to name them after the law they demonstrate. I have seen Idris name them similarly, but using the actual constructor names (e.g. Void vs Zero).

paf31 commented 9 years ago

:100: Wow, thank you! I'll put this on Pursuit as well.

DavidHarrison commented 9 years ago

Thank you, it will be nice to have it on Pursuit (which has been incredibly helpful in working with PureScript!). Just let me know if there are any changes I should make, especially in the naming conventions.

paf31 commented 9 years ago

It looks great to me, I added it here by the way:

http://pursuit.purescript.org/packages/purescript-isomorphisms/0.1.0/docs/Data.Iso

Thanks again.