@@ -34,6 +34,8 @@ Table of contents
34 * [By name](#by-name-1)
34 * [By name](#by-name-1)
35 * [By type](#by-type-2)
35 * [By type](#by-type-2)
36* [Performance](#performance)
36* [Performance](#performance)
37+ * [Inspection testing](#inspection-testing)
38+ * [Benchmarks](#benchmarks)
37* [Contributors](#contributors)
39* [Contributors](#contributors)
39# Preliminaries
41# Preliminaries
@@ -141,6 +143,10 @@ This example shows that higher-kinded parameters can also be changed (`Maybe`
141-> `[]`). We turn a `Foo Maybe Int` into a `Foo [] String` by turning the inner
143-> `[]`). We turn a `Foo Maybe Int` into a `Foo [] String` by turning the inner
142`Maybe Int` into a `[String]`.
144`Maybe Int` into a `[String]`.
146+With `DuplicateRecordFields`, multiple data types can share the same field
147+name, and the `field` lens works in this case too. No more field name
144### By position
150### By position
146Fields can be accessed by their position in the data structure (index starting at 1):
152Fields can be accessed by their position in the data structure (index starting at 1):
@@ -295,7 +301,7 @@ type class.
296```haskell
302```haskell
297constraints :: HasConstraints c s t => Applicative g => (forall a b . c a b => a -> g b) -> s -> g t
303constraints :: HasConstraints c s t => Applicative g => (forall a b . c a b => a -> g b) -> s -> g t
298−constraints' :: HasConstraints' c s => Applicative g => (forall a . c a => a -> g b) -> s -> g s
304+constraints' :: HasConstraints' c s => Applicative g => (forall a . c a => a -> g a) -> s -> g s
301Consider the `Numbers` type, which contains three different numeric types:
307Consider the `Numbers` type, which contains three different numeric types:
@@ -393,6 +399,8 @@ Duck 6
394# Performance
400# Performance
402+## Inspection testing
396# Contributors
404# Contributors
398+ [Matthew Pickering](https://github.com/mpickering)
406+ [Matthew Pickering](https://github.com/mpickering)