search

thomashoneyman / writing

Sources for my writing on thomashoneyman.com
https://thomashoneyman.com
15 stars 4 forks source link

Is `SProxy` still a thing? #10

Closed JamieBallingall closed 1 year ago

JamieBallingall commented 2 years ago

I was working through "Practical Profunctor Lenses & Optics In PureScript" and had trouble with:

_name :: forall a r. Lens' { name :: a | r } a
_name = prop (SProxy :: SProxy "name")

SProxy doesn't appear in Pursuit and I believe that it was replaced with a polymorphic Proxy in purs 0.14.

I think that every occurance of SProxy could be replaced with Proxy but I'm not confident enough in that to hit you with a PR out of the blue. But I am happy to generate a PR if that is the solution.

thomashoneyman commented 2 years ago

Good catch! Indeed there is only the one Proxy type now and they can all be replaced.