scala with cats 之 Contravariant Functors and Invariant Functors

Contravariant Functors

概述

Functor的意思是，如果有个F[A]和函数A=>B，那么就能得到一个F[B]。而Contravariant Functors的意思是，如果有个F[B]，然后有个函数A => B，那我们就能得到一个F[A]。

用途

假如我们有个类型类，比如说

trait Semigroup[A]{
   
	def combine(x:A,y:A):A
}

我们经常要定义各种实例，比如Semigroup[Int]，Semigroup[String],比如Semigroup[Boolean]。这些都是cats内置的实例。如果我们自己有个类型Box，我们要自己定义Semigroup[Box]实例。可是自己定义实例实在太麻烦，能不能根据现有的实例转化成新的实例呢？当然是是可以的。

示例

还是拿cats里面的例子讲解。
先定义类型类,然后给个contramap实现：

trait Printable[A] {
   
  def format(value: A): String
  
  def contramap[B](func: B => A): Printable[B] =
  new Printable[B] {
   
    def format(value: B): String =
      self.format(func(value))
  }
}

理论上contramap并不是Printable本身的能力，其实应该属于Contravariant[F[_]]的能力。所以单独实现一个Contravariant[Printable]实例比较好，类似下面的Contravariant[Show]:

  implicit val catsContravariantForShow: Contravariant[Show] = new Contravariant[Show] {
   
    def contramap[A, B](fa: Show[A])(f: B