斯卡拉：订购逆转

假设我想执行有序插入.我可能有签名功能

def insert[A,B >: A](list: List[A],item: A)(implicit ord: Ordering[B]): List[A]

在这里,我有一个接受超类型A的Ordering.我想这在你处理case类时很有用.例如：

abstract class CodeTree
case class Fork(left: CodeTree,right: CodeTree,chars: List[Char],weight: Int) extends CodeTree
case class Leaf(char: Char,weight: Int) extends CodeTree

def weight(tree: CodeTree): Int 
def chars(tree: CodeTree): List[Char] 

implicit object CodeTreeOrdering extends Ordering[CodeTree] {
  def compare(a: CodeTree,b: CodeTree): Int = weight(a) compare weight(b)
}

我希望我的插入函数可以使用类型List [CodeTree],List [Leaf]或List [Fork].但是,由于Ordering不是逆变的,我需要为每个案例定义隐式排序.

如果我定义

trait MyOrdering[-A] {
  def compare(a: A,b: A): Int
}

一切都按预期工作.

有没有其他方法可以实现我的目标？

编辑：

我目前的解决方案是将insert定义为

def insert[A](list: List[A],item: A)(implicit ord: Ordering[A]): List[A]

在处理List [CodeTree]时工作正常.我也定义了(灵感来自scalaz库)：

trait Contravariant[F[_]] {
  def contramap[A,B](r: F[A],f: B => A): F[B]
}

implicit object OrderingContravariant extends Contravariant[Ordering] {
  def contramap[A,B](r: Ordering[A],f: B => A) = r.on(f)
}

implicit def orderingCodeTree[A <: CodeTree]: Ordering[A] =
  implicitly[Contravariant[Ordering]].contramap(CodeTreeOrdering,identity)

我正在为Ordering [A<：CodeTree]实例定义隐式工厂函数.