variances.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 9 行

abstract class P[+a, +b] { // SLS, Example 4.4.2
  def fst: a;
  def snd: b
}

trait Vector[+a] { // SLS, Example 4.4.3 b)
  def append[b >: a](x: Vector[b]): Vector[b]
}