如何使用"Of"镜头？(Haskell的)

Question

我想写:

minimum $ map _x elems

使用镜头.我想使用minimumOf镜头,但我无法弄清楚如何使用它的类型.

我正在寻找类似的东西

elems ^.. minimumOf x

但它没有打字检查:

Prelude Control.Lens Data.Map> let elems = [(1,2),(3,4)] :: [(Double, Double)]
Prelude Control.Lens Data.Map> elems ^.. minimumOf _1

<interactive>:62:11:
    Couldn't match type ‘Maybe a0’
                  with ‘[(Double, Double)]
                        -> Const (Data.Monoid.Endo [a]) [(Double, Double)]’
    Expected type: Getting (Data.Monoid.Endo [a]) [(Double, Double)] a
      Actual type: (a -> Const (Data.Monoid.Endo [a]) a) -> Maybe a0
    Relevant bindings include it :: [a] (bound at <interactive>:62:1)
    Possible cause: ‘minimumOf’ is applied to too many arguments
    In the second argument of ‘(^..)’, namely ‘minimumOf _1’
    In the expression: elems ^.. minimumOf _1

Answer 1

该文件似乎对使用相当清楚-你将如何改善呢？

minimumOf不是一个镜头(或遍历或任何东西) - 它需要折叠(或遍历或镜头或其他东西 - 但它与镜头一起使用是没有用的,因为你只采取了一件事的最小值)寻找它在结构中关注的最小值.例如

?> minimumOf (traverse . _1) [(1,'a'),(2,'b')]
Just 1

它将Prelude函数minimum(它总是需要一个列表)概括为一个具有任何值的函数,以及从该值中获取大量事物的指令,并计算这些事物的最小值.