system-f / validation

A data-type like Either but with an accumulating Applicative
Other
99 stars 28 forks source link

Simplify prism/iso stuff #52

Closed treeowl closed 3 years ago

treeowl commented 3 years ago

There was a good bit of cruft I'm pretty sure wasn't needed. However, inlining and such may change, and this should be investigated and dealt with. Also, for "expensive" functors, it may pay to play tricks to fuse fmaps. I think this can be done by using clonePrism (a . b) rather than just a . b in various places.