使用隐式约束抽象类型成员的特征的限制方法？

Question

我处于以下情况：

import scalaz.Leibniz._

trait Exp[T, C] {

   def &&(that: Exp[T, C])(implicit evT: T === Boolean) = LogicalAnd(this, that)
   def &&(that: Exp[T, C])(implicit evT: T === Int) = BitwiseAnd(this, that)

}

case class LogicalAnd[C](e1: Exp[Boolean, C], e2: Exp[Boolean, C]) extends Exp[Boolean, C] 
case class LogicalOr[C](e1: Exp[Boolean, C], e2: Exp[Boolean, C]) extends Exp[Boolean, C] 
...
case class BitwiseAnd[C](e1: Exp[Int, C], e2: Exp[Int, C]) extends Exp[Int, C]
case class BitwiseOr[C](e1: Exp[Int, C], e2: Exp[Int, C]) extends Exp[Int, C]
...

特征Exp [T，C]是DSL的基本特征和AST，我想在此特征中重载内置scala运算符，以允许在此dsl上使用中缀表示法，但是我想限制其中一些在特征级别的类型T上具有约束的方法，因此此处的“ &&”操作根据类型T具有不同的语义。

似乎leibniz替换在这里不能/不能工作（也许是因为它仅针对具有单个参数的函子F [_]定义）：

[error] /home/remi/Projects/DSL/src/main/scala/Exp.scala:80: type mismatch;
[error]  found   : exp.Exp[T,C]
[error]  required: exp.Exp[Boolean,?]
[error]   = LogicalAnd(this, that)
[error]         ^

这种约束性状的T参数的方法是否完全有意义？ 有没有一种方法可以使leibniz在这种情况下起作用，方法是将第二个参数C“隐藏”起来，例如：

type ExpF[T] = Exp[T, _]

那是否有意义？ 谢谢，

Answer 1

就是这样 定义这样的类型，然后使用Leibniz.lift来提升您的Leibniz ：

def &&(that: Exp[T, C])(implicit evT: T === Boolean) = {
  type ExpF[A] = Exp[A, C]
  val ev2: (Exp[T, C] === Exp[Boolean, C]) =
    Leibniz.lift[⊥, ⊥, ⊤, ⊤, ExpF, T, Boolean](evT)
  LogicalAnd(this, that)
}