Tagged: lens

Lens into wrapped newtypes []

Categorical representation of the NT iso

All newtypes are isomorphisms


– My mother

Control.Lens.Wrapped uses the isomorphism property to introduce a type class Wrapped. Let’s explore use cases, because after all, it doesn’t appear to do much at first glance. What’s the point of formalizing wrapping and unwrapping of