updated

trait Collection[A] {
  def updated(i: Int, a: A): Collection[A]
}

updated は、このコレクションの全要素、ただしインデックス i の要素だけ a に置き換えたコレクションを作成します。