writeRef :: (GHC.MonadIO m, MonadTrans t, MonadReader s (t m)) => Lens' s (IORef a) -> a -> t m ()
writeRef l v = view l >>= lift . GHC.liftIO . flip writeIORef v
writeRef :: (GHC.MonadIO m, MonadTrans t, MonadReader s (t m)) => Lens' s (IORef a) -> a -> t m ()
writeRef l v = view l >>= lift . GHC.liftIO . flip writeIORef v
writeRef l v = view l >>= lift . GHC.liftIO . flip writeIORef v