exsstentional类型scala scalaz

时间:2016-11-15 23:37:28

标签: scala scalaz

在scalaz库中,compose中有Functor函数的定义:

def compose[G[_]](implicit G0: Functor[G]): Functor[λ[α => F[G[α]]]] =

这里λ做什么以及如何解释?

对我来说,({type λ[α] = F[G[α]]})#λ

的简短版本是有意义的

但是当我尝试将此snipet从scalaz复制到我的代码时,我总是得到not found: type

这种魔力来自哪里:(

0 个答案:

没有答案