Open jamesdbrock opened 4 years ago
To support profunctor-lenses, what we would want to do is to code-generate a lens for each field name.
https://thomashoneyman.com/articles/practical-profunctor-lenses-optics/#lenses
-- This lens focuses on the "name" field of a record; we have to construct
-- this one ourselves.
_name :: forall a r. Lens' { name :: a | r } a
_name = prop (SProxy :: SProxy "name")
https://pursuit.purescript.org/packages/purescript-profunctor-lenses/