使用cats.Contravariant类型类

Question

我正在尝试将我的Contravariant类型类应用于语法，并且遇到找不到它的问题。 这是我目前拥有的：

import cats._
import cats.implicits._

object Test {
  type Foo[A] = A => Unit
  private val f: Foo[String] = (_: String) => ()
  implicit val cvar: Contravariant[Foo] = null

  private val FF: Foo[Int] = f.contramap((i: Int) => //error: value contramap is not a member of Foo
    String.valueOf(i)
  )
}

我不明白 我提供了隐式Contravariant[Foo] ，但是语法仍然没有应用。 怎么了？

Answer 1

错误是我没有扩展ContravariantSyntax 。 删除隐式和混合中的内容按预期工作：

import cats._
import cats.syntax.ContravariantSyntax

object Test extends ContravariantSyntax{
  type Foo[A] = A => Unit
  private val f: Foo[String] = (_: String) => ()
  implicit val cvar: Contravariant[Foo] = null
  private val FF: Foo[Int] = f.contramap((i: Int) =>  //compiles - Ok!
    String.valueOf(i)
  )
}