相关疑难解决方法(0)

我需要一个像镜头一样的镜头功能over,但是有了monadic操作:

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

虽然这个函数很容易定义(它实际上只是一个身份模数WrappedMonad),我想知道这些函数是在镜头中定义的吗？

{-# 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) -> …