Я понимаю, что метод может иметь такой код:
def m(p1:Int => Int) ...
Это означает, что этот метод принимает функцию p1, которая возвращает Int
Но при просмотре Play! Я нашел черту с неразборчивыми методами:
trait Secured {
def username(request: RequestHeader) = request.session.get(Security.username)
def onUnauthorized(request: RequestHeader) = Results.Redirect(routes.Auth.login)
def withAuth(f: => String => Request[AnyContent] => Result) = {
Security.Authenticated(username, onUnauthorized) { user =>
Action(request => f(user)(request))
}
}
/**
* This method shows how you could wrap the withAuth method to also fetch your user
* You will need to implement UserDAO.findOneByUsername
*/
def withUser(f: User => Request[AnyContent] => Result) = withAuth { username => implicit request =>
UserDAO.findOneByUsername(username).map { user =>
f(user)(request)
}.getOrElse(onUnauthorized(request))
}
}
Что означает f: User => Request[AnyContent] => Result
? На первый взгляд это выглядит как метод, возвращающий функцию r
типа Request; r
затем возвращает a Result
.
Это правильное предположение?