The docs on <partial application> say (emphasis mi...
# arrow-contributors
y
The docs on partial application say (emphasis mine):
The functions provided by Arrow always start fixing arguments from the left, that is, from the "first" parameter in the signature. At the moment of writing there are no versions of partial application for functions with a receiver.
Isn't that irrelevant? The versions without receiver work just fine for functions that have receivers (and contexts) because
T.() -> R
is the same type as
(T) -> R
(as values, but ofc lambda literals are treated slightly differently) Should this be updated?
s
Yes, that can be updated. Perhaps with an example? I'm not entirely sure but this might have been different before Kotlin 1.3~1.4 when we got a new inferrer, it changed some of these rules.