We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d2de7fc commit 70229a5Copy full SHA for 70229a5
docs/docs/reference/contextual/derivation.md
@@ -295,7 +295,7 @@ given derived$Eq[T](using eqT: Eq[T]): Eq[Opt[T]] =
295
eqSum(
296
summon[Mirror[Opt[T]]],
297
List(
298
- eqProduct(summon[Mirror[Sm[T]]], List(summon[Eq[T]]))
+ eqProduct(summon[Mirror[Sm[T]]], List(summon[Eq[T]])),
299
eqProduct(summon[Mirror[Nn.type]], Nil)
300
)
301
0 commit comments