haskell - 使用 Lens，你如何将 setter 与另一个函数 g 组合起来，使得 g 的输出是要设置的新值？

Question

简单的例子:

{-# LANGUAGE TemplateHaskell #-}

import Language.Haskell.TH
import Control.Lens

data Point = P { _x :: Double, _y :: Double } deriving (Show)
$( makeLenses ''Point )

这就是我试图以命令式风格做的事情:

point.set( "x", g (point.get("x") ) )

目前我尝试了这个实现:

mapF f p g = let v = g (p ^. f) in set f v p 

它不是一个实际的组合，不是惯用的，并且还会引发错误:

Couldn't match expected type `Mutator b0'
            with actual type `Accessor a0 a0'
Expected type: ASetter s1 t0 a0 b0
  Actual type: Getting a0 s0 a0

即使上述的非参数化版本也能工作:

mapX p g = let v = g (p^.x) in set x v p

似乎 f 可以是 getter 或 setter，而不是两者？

Answer 1

您想要 over函数，其类型专门用于这种情况:

over :: Setter a b -> (b -> b) -> a -> a

所以你只需写:

over x :: (Double -> Double) -> Point -> Point