我经常发现自己必须对一个值和该值的仿函数执行几乎相同的操作。我通常使用两个隐式类来实现这一点,就像这样:
implicit class Apimped(a: A) {
def doSomething: B = ???
}
implicit class FApimped[F[_]: Functor](fa: F[A]) {
def doSomething: F[B] = Functor[F].map(fa)(a => a.doSomething)
}
所以我可以这样做,例如:
a.doSomething //B
Option(a).doSomething //Option[B]
但是,必须编写两个隐式类(通常针对每种值类型)来执行此操作似乎有点笨拙。我的问题是,是否只有一个隐式类可以实现上述目的?也就是说,在您对值的函子调用map
的情况下,doSomething
操作将是隐式的。谢谢。
答案 0 :(得分:2)
我不知道它是否在Scalaz / Cats中(也许不能保证它不存在),但是原则上它确实可以工作。这是一个演示程序,没有任何依赖性的演示。
假设您有来自Scalaz或Cats的这些类型类:
import scala.language.higherKinds
trait Functor[F[_]] {
def map[A, B](a: F[A])(f: A => B): F[B]
}
type Id[X] = X
implicit object IdFunctor extends Functor[Id] {
def map[A, B](a: A)(f: A => B): B = f(a)
}
implicit object OptionFunctor extends Functor[Option] {
def map[A, B](a: Option[A])(f: A => B) = a map f
}
然后,您可以在库中编写或找到一个类型类,该类的工作原理如下:
trait EverythingIsAlwaysAFunctor[A, B, F[_]] {
def apply(a: A): F[B]
def functor: Functor[F]
}
object EverythingIsAlwaysAFunctor {
implicit def functorIsFunctor[A, F[_]](implicit f: Functor[F])
: EverythingIsAlwaysAFunctor[F[A], A, F] = {
new EverythingIsAlwaysAFunctor[F[A], A, F] {
def apply(fa: F[A]): F[A] = fa
def functor: Functor[F] = f
}
}
implicit def idIsAlsoAFunctor[A]
: EverythingIsAlwaysAFunctor[A, A, Id] = {
new EverythingIsAlwaysAFunctor[A, A, Id] {
def apply(a: A): Id[A] = a
def functor: Functor[Id] = implicitly[Functor[Id]]
}
}
}
这件事可以做到:
A
的值F[B]
已具有形状F
,则使用此函子A
实际上是Id[A]
现在,您可以使用单个DoSomething
方法编写doSomething
-pimp-my-library-syntax东西:
implicit class DoSomething[A, F[_]](a: A)(
implicit eiaaf: EverythingIsAlwaysAFunctor[A, Int, F]
) {
def doSomething: F[String] = eiaaf.functor.map(eiaaf(a))("*" * _)
}
然后它在所有情况下都适用:
val x = Option(42).doSomething
val y = 42.doSomething
println(x)
println(y)
打印:
Some(******************************************)
******************************************