From b5e23e32b2483992f88342305da03253319fad0a Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 19 Jul 2014 13:51:22 +0200 Subject: Fixed typo --- docs/HigherKinded-v2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/HigherKinded-v2.md b/docs/HigherKinded-v2.md index 3cb722e98..e30f4e429 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). -- cgit v1.2.3