まず第一に、convert
メソッドの出力は 、または( 、、、など)Option[Output]
の一部のモナドでなければなりません。これは、 の内容を( の間違った長さ、や の解析エラーなど) に変換できない場合に備えます。 )Output
Try
Either
scalaz.\/
scalaz.Validation
Seq[String]
Output
Seq
Int
Doubles
可能な実装にshapeless
は、そのパラメータ型に変換する型クラスと、最初の型クラスの表現に ofをString
変換する補助型クラスがあります。HList
String
HList
Output
実装例を次に示します。
import shapeless._
import shapeless.syntax.std.traversable._
import shapeless.ops.traversable._
trait Parse[Out] {
def apply(value: String): Option[Out]
}
object Parse {
implicit object convertToInt extends Parse[Int] {
def apply(value: String) = Try(value.toInt).toOption
}
implicit object convertToString extends Parse[String] {
def apply(value: String) = Some(value)
}
implicit object convertToDouble extends Parse[Double] {
def apply(value: String) = Try(value.toDouble).toOption
}
}
trait ParseAll[Out] {
type In <: HList
def apply(values: In): Option[Out]
}
object ParseAll {
type Aux[I, O] = ParseAll[O] { type In = I }
implicit object convertHNil extends ParseAll[HNil] {
type In = HNil
def apply(value: HNil) = Some(HNil)
}
implicit def convertHList[T, HO <: HList](implicit
cv: Parse[T],
cl: ParseAll[HO]
) = new ParseAll[T :: HO] {
type In = String :: cl.In
def apply(value: In) = value match {
case x :: xs => for {
t <- cv(x)
h0 <- cl(xs)
} yield t :: h0
}
}
}
trait Converter {
type Output
def convert[S <: HList, H <: HList](values: List[String])(implicit
gen: Generic.Aux[Output, H], // Compute HList representation `H` of Output
parse: ParseAll.Aux[S, H], // Generate parser of Hlist of String `S` to HList `H`
ft: FromTraversable[S] // Generate converter of `List[String]` to HList of Strings `S`
): Option[Output] =
values.toHList[S].flatMap(parse.apply).map(gen.from)
}
この実装をアップグレードして、選択したエラー モナドを返す (または例外をスローする) のは簡単です。Option
そして、これを使用する方法は次のとおりです。
scala> object ConverterISD extends Converter {
type Output = (Int, String, Double)
}
defined object ConverterISD
scala> ConverterISD.convert(List("1", "foo", "2.34"))
res0: Option[ConverterISD.Output] = Some((1,foo,2.34))
scala> ConverterISD.convert(List("1", "foo", "2.34", "5"))
res1: Option[ConverterISD.Output] = None
scala> ConverterISD.convert(List("1", "foo", "bar"))
res2: Option[ConverterISD.Output] = None
タプルの代わりにケースクラスでも動作します:
scala> case class Model(i: Int, d: Double)
defined class Model
scala> object ConverterModel extends Converter {
type Output = Model
}
defined object ConverterModel
scala> ConverterModel.convert(List("1", "2.34"))
res0: Option[ConverterModel.Output] = Some(Model(1,2.34))
scala> ConverterModel.convert(List("1"))
res1: Option[ConverterModel.Output] = None
scala> ConverterModel.convert(List("1", "foo"))
res2: Option[ConverterModel.Output] = None