@@ -12,11 +12,11 @@ Based on [superrecord](https://hackage.haskell.org/package/superrecord), but sim
13* Provides `Generic` instances out of the box. Aeson, etc can't believe these aren't normal records! Anything `Generic`-derived just works.
13* Provides `Generic` instances out of the box. Aeson, etc can't believe these aren't normal records! Anything `Generic`-derived just works.
15−* Provides `generic-lens` instances out of the box. Due to those custom instances, we support polymorphic updates.
15+* Provides `generic-lens` and `generic-optics` instances out of the box. Due to those custom instances, we support polymorphic updates.
17* O(1) field access, O(n) construction.
17* O(1) field access, O(n) construction.
19−* PureScript-style partial records — if you have a `Record ("foo" := Int ': rest)`, `HasField "foo"` will work just fine.
19+* PureScript-style partial records — if you have a `Rec ("foo" := Int ': rest)`, `HasField "foo"` will work just fine.
@@ -24,3 +24,7 @@ Based on [superrecord](https://hackage.haskell.org/package/superrecord), but sim
24* Expose all internals.
24* Expose all internals.
25* `-- NOTE: doesn't use 'KeyDoesNotExist'` — fix this.
25* `-- NOTE: doesn't use 'KeyDoesNotExist'` — fix this.
26* `RemoveAccessTo` — can we get rid of it?
26* `RemoveAccessTo` — can we get rid of it?
30+* The `Rec.Super` module is entirely based on the code from [superrecord](https://hackage.haskell.org/package/superrecord).