Scala 類型類，用於從派生或現有隱式值提供實例

Question

我開始使用 Scala 中的通用編程，我正在嘗試設計一個靈活的可構建模式類型（ADT 的通用描述），可以轉換為第三方序列化（例如，circe、upickle）或模式（例如，tap ) 類型 class 實例。 在為產品和副產品構建模式時，它必須能夠解析子組件的模式。

我想實現這一點的方法是使用Provider類型 class，它將通過解析Deriver或解析現有的隱式實例來“提供”給定類型的實例。 通過使派生提供程序成為優先級較低的方法，它應該更喜歡實例而不是派生。

下面是我的解決方案的一個版本，它應用於一個更簡單的案例：生成一個NamesFor[T]實例，其中包含提取的 T 類型的字段名稱。

import shapeless._
import shapeless.labelled.FieldType

trait NamesFor[ T ] {
    type Names

    def names : Names
}

object NamesFor {
    type Aux[ T, Names0 ] = NamesFor[ T ] { type Names = Names0 }
}

trait Deriver[ From, To ] {
    def derive : To
}

object Deriver {
    implicit def deriveNameFromSymbol[ S <: Symbol ](
        implicit wit : Witness.Aux[ S ],
    ) : Deriver[ S, String ] =
        new Deriver[ S, String ] {
            override def derive : String = wit.value.name
        }

    implicit def deriveNameFromFieldType[ K <: Symbol, T ](
        implicit deriver : Deriver[ K, String ],
    ) : Deriver[ FieldType[ K, T ], String ] = new Deriver[ FieldType[ K, T ], String ] {
        override def derive : String = deriver.derive
    }

    // Deriving HList
    implicit val deriveFromHnil : Deriver[ HNil, HNil ] =
        new Deriver[ HNil, HNil ] {
            override def derive : HNil = HNil
        }

    implicit def deriveNameHListFromHList[ Head, Tail <: HList, Res <: HList ](
        implicit
        headDeriver : Lazy[ Deriver[ Head, String ] ],
        tailDeriver : Deriver[ Tail, Res ],
    ) : Deriver[ Head :: Tail, String :: Res ] = new Deriver[ Head :: Tail, String :: Res ] {
        override def derive : String :: Res = headDeriver.value.derive :: tailDeriver.derive
    }

    // Here's the deriver we're interested in
    implicit def deriveNamesFromLabelledGeneric[ T, R <: HList, Names0 <: HList ](
        implicit
        lGenEv : LabelledGeneric.Aux[ T, R ],
        rDer : Deriver[ R, Names0 ],
    ) : Deriver[ T, NamesFor[ T ] ] = new Deriver[ T, NamesFor[ T ] ] {
        override def derive : NamesFor.Aux[ T, Names0 ] = new NamesFor[ T ] {
            type Names = Names0

            override def names : Names = rDer.derive
        }
    }
}

trait Provider[ T ] {
    def provide : T
}

object Provider {
    implicit def provideInstance[ T ](
        implicit inst : T,
    ) : Provider[ T ] = new Provider[T] {
        override def provide : T = inst
    }
}

trait LowPriorityProvider {
    implicit def provideDerivation[ From, To ](
        implicit
        deriver : Deriver[ From, To ],
    ) : Provider[ To ] = new Provider[ To ] {
        override def provide : To = deriver.derive
    }
}

我可以通過以下兩種方式派生實例：

1：現有NamesFor[T]實例的隱式提供者

case class Test( int : Int )

implicit val namesInst : NamesFor[ Test ] = new NamesFor[Test] {
    override type Names = String :: HNil

    override def names : String :: HNil = "INT_FIELD" :: HNil
}

val provider = implicitly[ Provider[ NamesFor[ Test ] ] ]

println( provider.provide.names ) // output: INT_FIELD :: HNil

2: NamesFor[T]從T的隱式派生

case class Test( int : Int )

val deriver = implicitly[ Deriver[ Test, NamesFor[ Test ] ] ]

println( deriver.derive.names ) // output: int :: HNil

但是當我嘗試在NamesFor[T]中解析沒有隱式NamesFor[T]實例的 NamesFor[T] 提供者時，它失敗了。 也就是說，它無法通過provideDerivation解析實例：

case class Test( int : Int )

val provider = implicitly[ Provider[ NamesFor[ Test ] ] ]

// Err: could not find implicit value for parameter e: Provider[NamesFor[Test]]
println( provider.provide.names )

關於如何使這一切正常工作的任何想法？

Answer 1

您似乎只是忘記從LowPriorityProvider擴展Provider

object Provider extends LowPriorityProvider {...}

然后

case class Test( int : Int )

val provider = implicitly[ Provider[ NamesFor[ Test ] ] ]

println( provider.provide.names )

編譯

https://scastie.scala-lang.org/DmytroMitin/S7LrOQocSSeMZHetCEifDA/1

Scala 2.13.8，無形 2.3.9