Cats: Implementing Contravariant for Predicates without a ty

Question

假设谓词是函数a=>布尔，我想为谓词实现Cats的"Contravariant Functor"类型类的实例。我还有一个隐式类PredicateOps，它为谓词定义并集和交集运算符。

我已经能够使用一个类型别名使实例工作：

type Predicate[A] = A => Boolean
implicit val predicateContra = new Contravariant[Predicate] {
override def contramap[A, B](fa: Predicate[A])(f: B => A): Predicate[B] =
(b: B) => fa(f(b))
}

但当我这样做的时候，我必须将我所有的谓词函数强制为这样的别名：

val even: Predicate[Int] = (i: Int) => i % 2 == 0

我觉得这很烦人。所以我想知道，与其使用类型别名，我是否可以直接为从类型变量a到Boolean的Function1定义predicteContra，但我无法使其发挥作用。以下两个想法都给了我一个编译器错误：

implicit val predicateContra = new Contravariant[Function1[_, Boolean]] {
// "Function1[_, Boolean] takes no type parameters, expected: one"
implicit def predicateContra[A] = new Contravariant[Function1[A, Boolean]] {
// "A => Boolean takes no type parameters, expected: one"

我如何告诉编译器我的Function1的第一个参数应该保持为"hole"，而第二个参数应该固定为boolean？这可能吗？在查看猫的源代码时，我在很多地方发现了星号作为类型参数，但这对我来说也不起作用

Answer 1

您可以使用种类投影仪，它允许您用星号(*(引用"类型孔"。

这使得定义* -> *类型的语法非常简单，即一元类型构造函数(使用单个类型生成类型(。例如，采用某种类型A来产生类型Map[A, Int]的类型可以简单地写为Map[*, Int]。

然后你的代码变成：

val strToBool: String => Boolean = _.contains("1")
val intToStr: Int => String = _.toString
def predicateContra = 
new Contravariant[Function1[*, Boolean]] {
override def contramap[A, B](fa: A => Boolean)(f: B => A): B => Boolean = 
(b: B) => fa(f(b))
}
predicateContra.contramap(strToBool)(intToStr)(42) // false 
predicateContra.contramap(strToBool)(intToStr)(41) // true

如果你不想使用额外的库，你可以在普通的Scala中使用lambda:类型，以一种更丑陋的方式来实现

def predicateContra =
new Contravariant[({ type lambda[A] = Function1[A, Boolean] })#lambda] {
...
}