Ist es möglich, Kontextgrenzen in Aliasnamen in Scala zu verwenden?
z. B.
%Vor%Nein, weil die Kontextbindung eigentlich eine Abkürzung für einen zusätzlichen impliziten Parameter ist.
Zum Beispiel:
%Vor%ist eine Kurzform für
%Vor%und das kann nicht in einer Typdefinition dargestellt werden.
Anstatt einen Kontext direkt in der Typdeklaration einzubinden, müssten Sie eine separate Wertdeklaration haben, die den von JPP erwähnten impliziten Parameter darstellt.
Wer den Typ definiert, muss auch den Beweis für den gebundenen Kontext liefern:
%Vor%Tags und Links scala