Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Does anyone have a link to a concise introduction to iso, prisms, lens and such things?
optics documentation is really nice and concise
How do you make an 'Iso' for say a newtype over Text?
type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t)
How would I construct say Iso' TheNewType Text?
Iso' TheNewType Text
More generally, Iso' (Tagged s b) b
Iso' (Tagged s b) b
So you have to compose lenses, hmm. https://artyom.me/lens-over-tea-4
Ah, maybe I just need Control.Lens.Wrapped
generic-lens can also produce these - http://hackage.haskell.org/package/generic-lens-220.127.116.11/docs/Data-Generics-Wrapped.html