任意の関数のHListを任意の値に適用するにはどうすればよいですか？

debugcn 投稿 Dev

ウィリアム・カーター

任意のFunction1[I, ?]sのリストを任意の入力に適用できるようにしたいと思いますI。これは私がこれまでに持っているものです：

    type StringInputFunction[T] = Function[String, T]

    val strLen: String => Int = _.length
    val strRev: String => String = _.reverse

    val functions = strLen :: strRev :: HNil
    val expected = 4 :: "evif" :: HNil

    object applyTo5 extends (StringInputFunction ~> Id) {
      override def apply[T](f: StringInputFunction[T]): Id[T] = f("five")
    }
    def applyFunctionsTo5[FH <: HList, OH <: HList](fs: FH)
        (implicit constrain: UnaryTCConstraint[FH, StringInputFunction],
         mapper: Mapper.Aux[applyTo5.type, FH, OH]): mapper.Out = {
      fs.map(applyTo5)
    }
    applyFunctionsTo5(functions) shouldBe expected

    class ApplyTo(string: String) extends (StringInputFunction ~> Id) {
      override def apply[T](f: StringInputFunction[T]): Id[T] = f(string)
    }
    def applyFunctionsTo[FH <: HList, OH <: HList]
        (fs: FH, input: String)
        (implicit constrain: UnaryTCConstraint[FH, StringInputFunction],
         mapper: Mapper.Aux[ApplyTo, FH, OH]): mapper.Out = {
      val applyTo = new ApplyTo(input)
      fs.map(applyTo)
    }
    applyFunctionsTo(functions, "five") shouldBe expected

これにより、コンパイルエラーが発生します。

ShapelessSpec.scala:81: could not find implicit value for parameter mapper: shapeless.ops.hlist.Mapper[applyTo.type,FH]
      fs.map(applyTo)
ShapelessSpec.scala:83: could not find implicit value for parameter mapper: shapeless.ops.hlist.Mapper.Aux[ApplyTo,shapeless.::[String => Int,shapeless.::[String => String,shapeless.HNil]],OH]
    applyFunctionsTo(functions, "five") shouldBe expected

これを修正して任意のString入力で機能させるにはどうすればよいですか？
これをさらにジェネリック化して、任意の入力タイプで機能するように変更できますTか？

トラビスブラウン

私は以前にこの正確な操作をしたことがあると思っていましたが、数年前からこの要点を見つけることができました。そこでの私の例を要約すると、Shapelessによってすでに提供されている操作のみを使用して、値レベルの通常のリストでこのようなことを行うのとよく似た方法で、これを非常にうまく行うことができます。次の設定があるとします。

import shapeless.{ ::, HNil }

val strLen: String => Int = _.length
val strRev: String => String = _.reverse

val functions = strLen :: strRev :: HNil

次に、これを書くことができます：

scala> functions.zipApply(functions.mapConst("five"))
res0: Int :: String :: shapeless.HNil = 4 :: evif :: HNil

またはこれ：

scala> def foo(in: String) = functions.zipApply(functions.mapConst(in))
foo: (in: String)Int :: String :: shapeless.HNil

scala> foo("six")
res1: Int :: String :: shapeless.HNil = 3 :: xis :: HNil

これは、特定のタイプに適用された特定のタイプの関数のリストで機能します。

要旨はいくつかの代替アプローチを提供しますが、それにzipApply加えmapConstて私にとっては断然最高だと感じています。

この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。

侵害の場合は、連絡してください[email protected]