Scalaz Functor typeclass special symbols

落花浮王杯 提交于 2019-12-01 11:13:04

This syntax is enabled by the kind-projector Scala plugin. It allows to write type lambdas in more concise way:

Functor[λ[α => F[G[α]]]]

Without the plugin it would look like:

Functor[({type λ[x] = G[F[x]]})#λ]
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!