diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2014-07-19 14:07:29 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dark@d-d.me> | 2014-07-19 14:07:29 +0200 |
| commit | bdb63619119bf25c32c881fdf3c97ae7a40ec1e5 (patch) | |
| tree | e83774524eaa705d6739dc24d83e180479ccab4a /docs | |
| parent | 1f6f66787e99d5bd5dcf3a049fde4d47a40d733d (diff) | |
| parent | b5e23e32b2483992f88342305da03253319fad0a (diff) | |
| download | dotty-bdb63619119bf25c32c881fdf3c97ae7a40ec1e5.tar.gz dotty-bdb63619119bf25c32c881fdf3c97ae7a40ec1e5.tar.bz2 dotty-bdb63619119bf25c32c881fdf3c97ae7a40ec1e5.zip | |
Merge pull request #146 from dotty-staging/docs/hk-typo-fix
Fixed typo
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/HigherKinded-v2.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/HigherKinded-v2.md b/docs/HigherKinded-v2.md index fffe357a5..3216f42f4 100644 --- a/docs/HigherKinded-v2.md +++ b/docs/HigherKinded-v2.md @@ -173,7 +173,7 @@ The `I` suffix of the `Lambda` trait indicates that it has one invariant type pa Other suffixes are `P` for covariant type parameters, and `N` for contravariant type parameters. Lambda traits can have more than one type parameter. For instance, here is a trait with contravariant and covariant type parameters: - trait Lambda$NP[type -$hkArg$0, +$hkArg1] { type +Apply } extends Lambda$IP with Lambda$PI + trait Lambda$NP[type -$hkArg$0, +$hkArg1] { type +Apply } extends Lambda$IP with Lambda$NI Aside: the `+` prefix in front of `Apply` indicates that `Apply` is a covariant type field. Dotty admits variance annotations on type members. |