Мне нужна функция объектива, которая работает как over
, но с монадическими операциями:
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) -> (s -> m t)
overM l = (unwrapMonad .) . l . (WrapMonad .)