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 a3b0e2b commit 7edbe0fCopy full SHA for 7edbe0f
library/src/scala/quoted/matching/Lambda.scala
@@ -4,7 +4,7 @@ package matching
4
/** Lambda expression extractor */
5
object Lambda {
6
7
- /** `case Lambda(body)` matche a lambda and extract the body.
+ /** `case Lambda(fn)` matches a lambda by lifting the function from `S => T` to `Expr[S] => Expr[T]`.
8
* As the body may (will) contain references to the paramter, `body` is a function that recieves those arguments as `Expr`.
9
* Once this function is applied the result will be the body of the lambda with all references to the parameters replaced.
10
* If `body` is of type `(T1, T2, ...) => R` then body will be of type `(Expr[T1], Expr[T2], ...) => Expr[R]`.
0 commit comments