module DeepControl.Monad.Trans.Writer (
module Control.Monad.Writer,
listen2, pass2,
listen3, pass3,
listen4, pass4,
listen5, pass5,
) where
import DeepControl.Applicative
import DeepControl.Commutative
import DeepControl.Monad
import DeepControl.Monad.Signatures
import DeepControl.Monad.Trans
import Control.Monad.Writer
import Control.Monad.Identity
import Data.Monoid
instance (Monoid w) => Monad2 (Writer w) where
mv >>== f =
mv >>= \x -> runWriterT x >- \(Identity (a, w)) ->
f a <$| (\x -> runWriterT x >- \(Identity (b, w')) ->
WriterT $ Identity (b, w <> w'))
listen2 :: (MonadWriter w m2, Applicative m1) => m1 (m2 a) -> m1 (m2 (a, w))
listen2 m = listen |$> m
pass2 :: (MonadWriter w m2, Applicative m1) => m1 (m2 (a, w -> w)) -> m1 (m2 a)
pass2 m = pass |$> m
instance (Monoid w) => Monad3 (Writer w) where
mv >>>== f =
mv >>== \x -> runWriterT x >- \(Identity (a, w)) ->
f a <<$| (\x -> runWriterT x >- \(Identity (b, w')) ->
WriterT $ Identity (b, w <> w'))
listen3 :: (MonadWriter w m3, Applicative m1, Applicative m2) => m1 (m2 (m3 a)) -> m1 (m2 (m3 (a, w)))
listen3 m = listen2 |$> m
pass3 :: (MonadWriter w m3, Applicative m1, Applicative m2) => m1 (m2 (m3 (a, w -> w))) -> m1 (m2 (m3 a))
pass3 m = pass2 |$> m
instance (Monoid w) => Monad4 (Writer w) where
mv >>>>== f =
mv >>>== \x -> runWriterT x >- \(Identity (a, w)) ->
f a <<<$| (\x -> runWriterT x >- \(Identity (b, w')) ->
WriterT $ Identity (b, w <> w'))
listen4 :: (MonadWriter w m4, Applicative m1, Applicative m2, Applicative m3) => m1 (m2 (m3 (m4 a))) -> m1 (m2 (m3 (m4 (a, w))))
listen4 m = listen3 |$> m
pass4 :: (MonadWriter w m4, Applicative m1, Applicative m2, Applicative m3) => m1 (m2 (m3 (m4 (a, w -> w)))) -> m1 (m2 (m3 (m4 a)))
pass4 m = pass3 |$> m
instance (Monoid w) => Monad5 (Writer w) where
mv >>>>>== f =
mv >>>>== \x -> runWriterT x >- \(Identity (a, w)) ->
f a <<<<$| (\x -> runWriterT x >- \(Identity (b, w')) ->
WriterT $ Identity (b, w <> w'))
listen5 :: (MonadWriter w m5, Applicative m1, Applicative m2, Applicative m3, Applicative m4) => m1 (m2 (m3 (m4 (m5 a)))) -> m1 (m2 (m3 (m4 (m5 (a, w)))))
listen5 m = listen4 |$> m
pass5 :: (MonadWriter w m5, Applicative m1, Applicative m2, Applicative m3, Applicative m4) => m1 (m2 (m3 (m4 (m5 (a, w -> w))))) -> m1 (m2 (m3 (m4 (m5 a))))
pass5 m = pass4 |$> m