条件付きでスカラにimplicitsを生成する

Question

私は連鎖した暗黙関数のシステムに取り組んでいます。これは以下の簡単な例に似ています。テストc1.payload == c2.payloadは、 "タイプスペース"にないテストを表しています。私はwitnessEvidenceの定義のためにマクロに入ることを期待していましたが、Scalaは明示的に任意の型の暗黙的な引数を持つマクロ定義を許可していません（WeakTypeTag値のみ！）ので、これをどのように進めるかについて少し不便です。以下のコードは論理的に私が何をしたいのかを示していますが、暗黙の関数は条件付きで証拠を生成したり生成したりすることはできません（マクロ実装内にない限り）。

case class Capsule[T](payload: Int) 

trait A 
trait B 
trait C 

implicit val capa = Capsule[A](3) 
implicit val capb = Capsule[B](3) 
implicit val capc = Capsule[C](7) 

case class Evidence[T1, T2](e: Int) 

implicit def witnessEvidence[T1, T2](implicit c1: Capsule[T1], c2: Capsule[T2]): Evidence[T1, T2] = { 
    if (c1.payload == c2.payload) 
    Evidence[T1, T2](c1.payload) 
    else 
    // Do not produce the evidence 
} 

def foo[T1, T2](implicit ev: Evidence[T1, T2]) = ev.e 

val f1 = foo[A, B] // this should compile 
val f2 = foo[A, C] // this should fail with missing implicit! 

Answer 1

暗黙的な解決はコンパイル時に行われ、バリュー等価性のテストは実行時に行われるため、これはそのままでは不可能です。

コンパイラに値を型として理解させる必要があるので、2つの3つの型が等しいかどうかを調べ、それを使ってcapa =：= capbを推論することができます。 https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#singleton-typed-literals

あなたはプレーンな等価比較を超えて算術演算を行う必要がある場合、あなたはNatを使用する必要があります：https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/nat.scala