Haskell："uses"在控制镜头中做什么？

Question

我是Haskell的新手。我在这里阅读代码，我不确定(尽管我可以猜(uses做什么：

inRange <- uses fsCurrentCoinRangeUpperBound (coinIndex <=)

另外，为什么使用<-？

我已经查找了" Haskell中的镜头用途"，但找不到任何解释。

Answer 1

在" haskell control.lens"上进行Google搜索的第一个点击给了我：

https://hackage.haskell.org/package/lens-4.15.3/docs/control-lens.html

... uses功能来自的镜头软件包的文档。从那里开始，确定哪个确切的模块定义此功能并不是直接的。事实证明是Control.Lens.Getter：

https://hackage.haskell.org/package/lens-4.15.3/docs/control-lens-getter.html#v:uses

这就是您如何跟踪随机Haskell功能的文档。该文档实际上是否有帮助有很大的不同...

Answer 2

文档是类型 haddoc额外位，反之亦然。

例如，我们可以看到

uses :: MonadState s m => LensLike' (Const r) s a -> (a -> r) -> m r

返回值就像墨西哥卷饼(因此，<-。为您提供了当前填充以生长更大的墨西哥卷饼(