Skip to content

Commit 21a1ff2

Browse files
authored
Update derivation.md
1 parent d2dd083 commit 21a1ff2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/docs/reference/contextual/derivation.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -320,7 +320,7 @@ given eqProduct[A](using inst: K0.ProductInstances[Eq, A]): Eq[A] with
320320
Complete(!eqt.eqv(t0, t1))(false)(true)
321321
)
322322

323-
inline def derived[A](using gen: K0.Generic[A]) as Eq[A] =
323+
inline def derived[A](using gen: K0.Generic[A]): Eq[A] =
324324
gen.derive(eqSum, eqProduct)
325325
```
326326

0 commit comments

Comments
 (0)