如何使用单子函数和镜头进行修改？

Question

我需要一个像over一样工作，但具有单子操作的透镜函数：

overM :: (Monad m) => Lens s t a b -> (a -> m b) -> (s -> m t)

虽然这个函数很容易定义（实际上只是一个模 WrappedMonad 的身份标识），但我想知道是否在 lens 中已经定义了这样的函数？

{-# LANGUAGE RankNTypes #-}
import Control.Applicative
import Control.Lens

overF :: (Functor f) => Lens s t a b -> (a -> f b) -> (s -> f t)
overF l = l

overM :: (Monad m) => Lens s t a b -> (a -> m b) -> (s -> m t)
overM l = (unwrapMonad .) . l . (WrapMonad .)

- Petr

Answer 1

在 Control.Lens.Traversal 中：

traverseOf :: Over p f s t a b -> p a (f b) -> s -> f t
traverseOf = id

mapMOf :: Profunctor p =>
     Over p (WrappedMonad m) s t a b -> p a (m b) -> s -> m t
mapMOf l cmd = unwrapMonad #. l (WrapMonad #. cmd)

例子：

Prelude Control.Lens> traverseOf _1 (Just . (+2)) (2,2)
Just (4,2)

Prelude Control.Lens> mapMOf _1 (Just . (+2)) (2,2)
Just (4,2)

- Charles Durham

---

traverseOf只是id，它不能解决AMP问题。你需要有你的WrappedMonad-fixed lens才能利用traverseOf。 - J. Abrahamson

@J.Abrahamson 感谢您的澄清，已经添加了 Traversal 库中的 mapMOf 定义。 - Charles Durham

使用 biplate 和单子函数是否可行？ - Daniil Iaitskov