Was bedeuten mehrere aufeinanderfolgende dicke Pfeile in Methodenparametern in Scala?

Question

Ich verstehe, dass ein Verfahren Code wie folgt haben:

def m(p1:Int => Int) ... 

Welche dieser Methode bedeutet, nimmt eine p1 Funktion, die ein Int

kehrt Aber während die Play Surfen! Framework-Code fand ich einen Zug mit indecipherable Methoden:

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)) 
    } 
} 

Play! Scala Security

Was bedeutet die f: User => Request[AnyContent] => Result bedeuten? Auf den ersten Blick sieht es wie eine Methode aus, die eine Funktion r vom Typ Request zurückgibt; r gibt dann eine Result zurück.

Ist das die richtige Annahme?

Answer 1

Was bedeutet das f: Benutzer => Request [AnyContent] => Ergebnis bedeuten? Auf den ersten Blick sieht es wie eine Methode aus, die eine Funktion r vom Typ Request zurückgibt; r gibt dann ein Ergebnis zurück.

f liefert eine Funktion vom Typ Request[AnyContent] => Result, das heißt, eine Funktion, die eine Request[AnyContent] nimmt und gibt eine Result.

Mit anderen Worten: f ist eine Curry-Funktion. Man könnte es als f(user)(request) bezeichnen, um eine Result zurückzubekommen.

Answer 2

def withAuth(f: => String => Request[AnyContent] => Result) bedeutet, dass f ist ein Neben name-Parameter, und Sie können so etwas schreiben:

withAuth { 
    logger.info("Here we go") 
    ... 
    chooseTheAction("list") 
} 

wo chooseTheAction eine String nimmt und gibt eine Funktion, um eine Anfrage durchführt, Request[AnyContent] => Result