blob: cfea4626c314e0b9a87e6d005f76782461584390 (
plain) (
tree)
|
|
trait Map[A, +C] {
def ++ [B1 >: C] (kvs: Iterable[Pair[A, B1]]): Map[A, B1] = this
def ++ [B1 >: C] (kvs: Iterator[Pair[A, B1]]): Map[A, B1] = this
}
class ListMap[A, +B] extends Map[A, B] {}
object ListMap {
def empty[X, Y] = new ListMap[X, Y]
def apply[A1, B2](elems: Pair[A1, B2]*): Map[A1, B2] = empty[A1,B2].++(elems.iterator)
}
|