これは、ドキュメントから取得した例です。
import play.api.data._
import play.api.data.Forms._
case class User(name: String, age: Int)
val userForm = Form(
mapping(
"name" -> text,
"age" -> number
)(User.apply)(User.unapply)
)
val anyData = Map("name" -> "bob", "age" -> "18")
val user: User = userForm.bind(anyData).get
Map インスタンス (anyData という名前) はここで何をしているのでしょうか? つまり...ユーザーにデフォルト値を提供する手段として使用されますか(フォームによるマッピングが失敗した場合)? それとも他の目的がありますか?