Brief intro to iso, prisms, lens - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Sridhar Ratnakumar

Does anyone have a link to a concise introduction to iso, prisms, lens and such things?

Sridhar Ratnakumar

How do you make an 'Iso' for say a newtype over Text?

Sridhar Ratnakumar
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?

Sridhar Ratnakumar

More generally, Iso' (Tagged s b) b

Sridhar Ratnakumar

Ah, maybe I just need Control.Lens.Wrapped