Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/scala/17.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/visual-studio/7.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
存在类型scala scalaz_Scala_Scalaz - Fatal编程技术网

存在类型scala scalaz

存在类型scala scalaz,scala,scalaz,Scala,Scalaz,在scalaz库中,Functor中有一个compose函数的定义: def compose[G[_]](implicit G0: Functor[G]): Functor[λ[α => F[G[α]]]] = 这个λ在这里做什么?如何解释 对我来说,做({typeλ[α]=F[G[α]})#λ 但是当我试图将这个snipet从scalaz复制到我的代码中时,我总是得到未找到:type 这种魔力从何而来:(你能提供一个到组合函数定义的链接吗?λ来自编译器插件。谢谢!这就是我要找的!你能提

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

def compose[G[_]](implicit G0: Functor[G]): Functor[λ[α => F[G[α]]]] =
这个
λ
在这里做什么?如何解释

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

但是当我试图将这个snipet从scalaz复制到我的代码中时,我总是得到
未找到:type


这种魔力从何而来:(

你能提供一个到
组合
函数定义的链接吗?
λ
来自编译器插件。谢谢!这就是我要找的!你能提供一个到
组合
函数定义的链接吗?
λ
来自编译器插件。谢谢!这就是我要找的为