我需要一个像<{1}}一样的镜头功能,但需要使用monadic操作:
over
虽然这个函数很容易定义(它实际上只是一个模拟overM :: (Monad m) => Lens s t a b -> (a -> m b) -> (s -> m t)
的身份),我想知道这些函数是在 lens 中定义的吗?
WrappedMonad
答案 0 :(得分:7)
在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)