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 24d4806 commit be5d49cCopy full SHA for be5d49c
_overviews/scala3-book/types-dependent-function.md
@@ -21,7 +21,7 @@ trait DB {
21
def get(k: Key): Option[k.Value] // a dependent method
22
}
23
```
24
-Given a key, the method `get` let's us access the map and potentially returns the stored value of type `k.Value`.
+Given a key, the method `get` lets us access the map and potentially returns the stored value of type `k.Value`.
25
We can read this _path-dependent type_ as: "depending on the concrete type of the argument `k`, we return a matching value".
26
27
For example, we could have the following keys:
0 commit comments