scala - scalaz 源代码中的 @> 类型在哪里？

Question

我一直在阅读 scalaz 的镜头的源代码，您可以在 https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/Lens.scala 找到它。

从第303行开始，有一些函数返回类型为@>[A,B]的值。这种类型是 Lens 的别名吗？从上下文和符号的形状来看，这对我来说很有意义，这可能代表一束光线进入圆形透镜。

但是为什么其他函数返回 Lens[A,B] 而不是时髦的别名？我在文件和 Lens.scala 导入的文件中搜索了这个符号，但无济于事。

在哪里可以找到@>的定义？

Answer 1

是的，它是一个类型别名，大多数这些方便的类型别名——包括 @>，还有像 Reader、State 这样的东西，甚至 Lens 本身，它是 LensFamily[...] 的类型别名——在 the scalaz package object 中在 core/src/main/scala/scalaz/package.scala 中。

A @> B 在某些地方使用而 Lens[A, B] 在其他地方使用的事实几乎可以肯定只是历史偶然和偏好的结果特定作者。