search

purescript-deprecated / purescript-lens

PureScript implementation of lens
78 stars 15 forks source link

Try to have a lens for all record types. #5

Closed joneshf closed 9 years ago

joneshf commented 10 years ago

It'd be very nice to have just one lens for all record types, though I'm not entirely sure how it would work in a typesafe way. This would almost certainly require the use of the ffi.

I mean we can suggest that it have the type:

recLens :: forall r r'. Lens { | r} { | r'} String String

But that doesn't actually help with compile time. We need some way to specify the record field in a general sense.

joneshf commented 9 years ago

I don't think this needs to be in here anymore. If anywhere, it should be in purescript-refractor.