From 2e5f857c8a715fa73d8f540329274e5ed4161475 Mon Sep 17 00:00:00 2001 From: Jamie Thompson Date: Fri, 24 Feb 2023 11:25:31 +0100 Subject: [PATCH] fix typo in type lambda --- docs/_docs/reference/contextual/derivation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_docs/reference/contextual/derivation.md b/docs/_docs/reference/contextual/derivation.md index 59ad1b9fb171..5836c58135dc 100644 --- a/docs/_docs/reference/contextual/derivation.md +++ b/docs/_docs/reference/contextual/derivation.md @@ -99,7 +99,7 @@ If `F` and `DerivingType` take the same number of arguments (`N == K`): ```scala given TC[DerivingType] = TC.derived // simplified form of: -given TC[ [A_1, ..., A_K] => DerivingType[A_1, ..., A_K] ] = TC.derived +given TC[ [A_1, ..., A_K] =>> DerivingType[A_1, ..., A_K] ] = TC.derived ``` If `DerivingType` takes less arguments than `F` (`N < K`), we use only the rightmost parameters from the type lambda: ```scala