Wrapped could use something stronger than `Iso` and weaker than an `Equality`.

ekmett / lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

http://lens.github.io/

Other

2.03k stars 274 forks source link

Wrapped could use something stronger than `Iso` and weaker than an `Equality`. #256

Closed ekmett closed 10 years ago

ekmett commented 11 years ago

We could possibly upgrade Wrapped to something that enables the user to dimap as a no-op on appropriate Profunctors. The trick is figuring out the right API to do so without exposing a user-visible unsafeCoerce.

ekmett commented 10 years ago

The current Coercible API doesn't seem conducive to this. Giving up for now.