3

外部システムは Seq[String] (一種の DB、CSV/json のような出力) を返します。これは基本型のラップです: 文字列/数値。自分のモデルで仕事をしたい。

object Converter {
  type Output = (Int, String, Double) // for instance 
  def convert(values: List[String]): Output
}

明らかに、毎回 convert-method を実装したくありません。

http://nrinaudo.github.io/tabulate/tut/parsing.htmlよりも簡単なものが必要なようです

ここで HList を使用することは可能ですか? 出力タイプのみを明示的に定義することにより、HList (String:: String:: String:: HNil) のサイズをモデルに変換するようにします。

4

1 に答える 1

3

まず第一に、convertメソッドの出力は 、または( 、、、など)Option[Output]の一部のモナドでなければなりません。これは、 の内容を( の間違った長さ、や の解析エラーなど) に変換できない場合に備えます。 )OutputTryEitherscalaz.\/scalaz.ValidationSeq[String]OutputSeqIntDoubles

可能な実装にshapelessは、そのパラメータ型に変換する型クラスと、最初の型クラスの表現に ofをString変換する補助型クラスがあります。HListStringHListOutput

実装例を次に示します。

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
于 2016-01-25T15:46:25.373 に答える