haskell - 有镜头操作符结合 %~ 和 fmap

Question

我有以下代码

u & currentDay %~ fmap (addDays 1)

currentDay返回 Maybe这就是为什么我需要 fmap .是否已经有一个运算符来组合 %~和 fmap (如 %~<$> ;-))或这样做的聪明方法？

Answer 1

没有现成的运算符，但您可以轻松定义自己的运算符:

%$~ :: Functor f => ASetter s t (f a) (f b) -> (a -> b) -> s -> t
l %$~ f = over a (fmap f)

执行此操作的标准方法是使用 mapped setter :

u & currentDay . mapped %~ addDays 1

因为你映射到 Maybe 你也可以使用 _Just棱镜:

u & currentDay . _Just %~ addDays 1