{-# OPTIONS_GHC -Wno-orphans #-}
module Control.Monad.Class.MonadSay.Trans () where

import Control.Monad.Cont
import Control.Monad.Except
import Control.Monad.RWS
import Control.Monad.State
import Control.Monad.Writer

import Control.Monad.Class.MonadSay

-- | @since 0.1.0.0
instance MonadSay m => MonadSay (ContT r m) where
  say :: String -> ContT r m ()
say  = m () -> ContT r m ()
forall (m :: * -> *) a. Monad m => m a -> ContT r m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m () -> ContT r m ())
-> (String -> m ()) -> String -> ContT r m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> m ()
forall (m :: * -> *). MonadSay m => String -> m ()
say

-- | @since 0.1.0.0
instance MonadSay m => MonadSay (ExceptT e m) where
  say :: String -> ExceptT e m ()
say  = m () -> ExceptT e m ()
forall (m :: * -> *) a. Monad m => m a -> ExceptT e m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m () -> ExceptT e m ())
-> (String -> m ()) -> String -> ExceptT e m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> m ()
forall (m :: * -> *). MonadSay m => String -> m ()
say

-- | @since 0.1.0.0
instance (Monoid w, MonadSay m) => MonadSay (RWST r w s m) where
  say :: String -> RWST r w s m ()
say  = m () -> RWST r w s m ()
forall (m :: * -> *) a. Monad m => m a -> RWST r w s m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m () -> RWST r w s m ())
-> (String -> m ()) -> String -> RWST r w s m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> m ()
forall (m :: * -> *). MonadSay m => String -> m ()
say

-- | @since 0.1.0.0
instance MonadSay m => MonadSay (StateT s m) where
  say :: String -> StateT s m ()
say  = m () -> StateT s m ()
forall (m :: * -> *) a. Monad m => m a -> StateT s m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m () -> StateT s m ())
-> (String -> m ()) -> String -> StateT s m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> m ()
forall (m :: * -> *). MonadSay m => String -> m ()
say

-- | @since 0.1.0.0
instance (Monoid w, MonadSay m) => MonadSay (WriterT w m) where
  say :: String -> WriterT w m ()
say  = m () -> WriterT w m ()
forall (m :: * -> *) a. Monad m => m a -> WriterT w m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m () -> WriterT w m ())
-> (String -> m ()) -> String -> WriterT w m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> m ()
forall (m :: * -> *). MonadSay m => String -> m ()
say