Scala Tips / Validation (19) - 多重度1以上の部品

「Validation (15) - 多重度1の部品」に続き「多重度0または1」、「多重度1以上」、「多重度0以上」向けの部品を作っています。「多重度1」、「多重度0または1」、「多重度0以上」は完成したので、今回は最後の「多重度1以上」です。

「多重度0以上」ではListを用いましたが、「多重度1以上」ではNonEmptyListを用いるのが相違点となります。

Personオブジェクト

Personオブジェクトの属性phonesが「多重度1以上」となります。

view plainprint?

1. case class Person(  
2.   name: String,  
3.   age: Int,  
4.   address: Option[String],  
5.   phones: NonEmptyList[String],  
6.   facsimiles: List[String])  

case class Person(
  name: String,
  age: Int,
  address: Option[String],
  phones: NonEmptyList[String],
  facsimiles: List[String])

部品

「多重度1以上」のハンドリングを行うための部品として以下の関数を作成しました。

view plainprint?

1. def optionSeqOneMore[A, B](v: Option[Seq[A]], f: A => ValidationNEL[Throwable, B]): ValidationNEL[Throwable, NonEmptyList[B]] = {  
2.   type VNT[A] = ValidationNEL[Throwable, A]  
3.   v match {  
4.     case Some(Nil) => EmptyValueFailure  
5.     case Some(x) => x.traverse[VNT, B](f).map(x => nel(x.head, x.tail.toList))  
6.     case None => NoValueFailure  
7.   }  
8. }  
9.   
10. def validateOneMore[T](f: T => Boolean, message: String, v: Option[Seq[T]]): ValidationNEL[Throwable, NonEmptyList[T]] = {  
11.   optionSeqOneMore(v, validate(f, message, (_: T)))  
12. }  
13.   
14. def validatesOneMore[A, B](  
15.   f: A => ValidationNEL[Throwable, B],  
16.   g: Seq[B => ValidationNEL[Throwable, B]],  
17.   v: Option[Seq[A]]  
18. ): ValidationNEL[Throwable, NonEmptyList[B]] = {  
19.   optionSeqOneMore(v, validates(f, g, (_: A)))  
20. }  
21.   
22. def validatesDefOneMore[A, B](  
23.   d: (A => ValidationNEL[Throwable, B],  
24.       Seq[B => ValidationNEL[Throwable, B]]),  
25.   v: Option[Seq[A]]  
26. ): ValidationNEL[Throwable, NonEmptyList[B]] = {  
27.   validatesOneMore(d._1, d._2, v)  
28. }  

def optionSeqOneMore[A, B](v: Option[Seq[A]], f: A => ValidationNEL[Throwable, B]): ValidationNEL[Throwable, NonEmptyList[B]] = {
  type VNT[A] = ValidationNEL[Throwable, A]
  v match {
    case Some(Nil) => EmptyValueFailure
    case Some(x) => x.traverse[VNT, B](f).map(x => nel(x.head, x.tail.toList))
    case None => NoValueFailure
  }
}

def validateOneMore[T](f: T => Boolean, message: String, v: Option[Seq[T]]): ValidationNEL[Throwable, NonEmptyList[T]] = {
  optionSeqOneMore(v, validate(f, message, (_: T)))
}

def validatesOneMore[A, B](
  f: A => ValidationNEL[Throwable, B],
  g: Seq[B => ValidationNEL[Throwable, B]],
  v: Option[Seq[A]]
): ValidationNEL[Throwable, NonEmptyList[B]] = {
  optionSeqOneMore(v, validates(f, g, (_: A)))
}

def validatesDefOneMore[A, B](
  d: (A => ValidationNEL[Throwable, B],
      Seq[B => ValidationNEL[Throwable, B]]),
  v: Option[Seq[A]]
): ValidationNEL[Throwable, NonEmptyList[B]] = {
  validatesOneMore(d._1, d._2, v)
}

ポイントになるのはoptionSeqOneMore関数です。

「多重度0」の時と同様にtraverseメソッドを用いていますが、traverseメソッドから返ってくるSeqをNonEmptyListにするための処理をmapメソッドでつないでいます。これは、Validationが成功している時のみSeqをNonEmptyListへの処理を行い、Validationが失敗している場合はFailureをそのまま使用するという処理です。

検証関数

ここまでで作ってきた部品を使って新しいPersonオブジェクト向けに検証関数を作成しました。

view plainprint?

1. def validatePhones(phone: Option[Seq[String]]): ValidationNEL[Throwable, NonEmptyList[String]] = {  
2.   validatesDefOneMore(phoneDef, phone)  
3. }  

def validatePhones(phone: Option[Seq[String]]): ValidationNEL[Throwable, NonEmptyList[String]] = {
  validatesDefOneMore(phoneDef, phone)
}

validatePhones関数を「多重度0以上」向けに新規作成しました。先程作ったvalidatesDefOneMore関数を利用しています。値があった場合はSuccess[Some[NonEmptyList[String]]]、なかった場合はSuccess[None]を返します。

動作確認

新規に作ったvalidatePhones関数を実際に動かしてみましょう。

まず「多重度1」と同じものを試してみます。

view plainprint?

1. val data1 = Map("name" -> "Taro",  
2.                "age" -> "30",  
3.                "address" -> "Kanagawa Yokohama")  

val data1 = Map("name" -> "Taro",
               "age" -> "30",
               "address" -> "Kanagawa Yokohama")

scala> validatePhones(fetch(data1, "phones"))
res13: scalaz.Scalaz.ValidationNEL[Throwable,scalaz.NonEmptyList[String]] = Failure(NonEmptyList(java.lang.IllegalArgumentException: No value))

data1にはfacsimilesのデータがないので「No Value」のエラーになりました。

次は「多重度0以上」と「多重度1以上」のデータを追加したデータMapです。

view plainprint?

1. val data1n = Map("name" -> "Taro",  
2.                "age" -> "30",  
3.                "address" -> "Kanagawa Yokohama",  
4.                "phones" -> "123-456-7890;234-567-8901",  
5.                "facsimiles" -> "345-678-9012;456-789-0123")  

val data1n = Map("name" -> "Taro",
               "age" -> "30",
               "address" -> "Kanagawa Yokohama",
               "phones" -> "123-456-7890;234-567-8901",
               "facsimiles" -> "345-678-9012;456-789-0123")

validatePhones関数は以下のように正しい値を入力にしてSuccessを返しました。

scala> validatePhones(fetch(data1n, "facsimiles"))
res74: scalaz.Scalaz.ValidationNEL[Throwable,scalaz.NonEmptyList[String]] = Success(NonEmptyList(123-456-7890, 234-567-8901))

参考

• ScalazでBean Validation
• Validation (10) - applicative
• Validation (12) - parse
• Validation (13) - toValidate
• Validation (14) - オブジェクトの生成
• 多重度の表現
• Validation (15) - 多重度1の部品
• Validation (16) - 多重度1の実装
• Validation (17) - 多重度0または1の部品
• Validation (18) - 多重度0以上の部品

諸元

• Scala 2.9.2
• Scalaz 6.0.4