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 28c96ad commit 12773ecCopy full SHA for 12773ec
docs/docs/reference/new-types/dependent-function-types.md
@@ -11,9 +11,9 @@ trait Entry { type Key; val key: Key }
11
def extractKey(e: Entry): e.Key = e.key // a dependent method
12
val extractor: (e: Entry) => e.Key = extractKey // a dependent function value
13
// ║ ⇓ ⇓ ⇓ ⇓ ⇓ ⇓ ⇓ ║
14
-// ║ Dependent ║
15
-// ║ Function Type ║
16
-// ╚═══════════════╝
+// ║ Dependent ║
+// ║ Function Type ║
+// ╚═══════════════════╝
17
```
18
Scala already has _dependent methods_, i.e. methods where the result
19
type refers to some of the parameters of the method. Method
0 commit comments