Control.Monad.Instances.Evil

This module exports several very overlapping instances for the type classes defined in the mtl library, and should be used with caution, or not at all (see the package description). The instances are defined:

• instance (MonadTrans t, Monad (t m),        MonadBase b m)      => MonadBase b        (t m)

• instance (MonadTransControl t, Monad (t m), MonadCont m)        => MonadCont          (t m)

• instance (MonadTransControl t, Monad (t m), MonadError e m)     => MonadError e       (t m)

• instance (MonadTransControl t, Monad (t m), MonadFix m)         => MonadFix           (t m)

• instance (MonadTrans t, Monad (t m),        MonadIO m)          => MonadIO            (t m)

• instance (MonadTrans t, Monad (t m),        MonadReader r m)    => MonadReader r      (t m)

• instance (MonadTrans t, Monad (t m),        MonadRWS r w s m)   => MonadRWS r w s     (t m)

• instance (MonadTrans t, Monad (t m),        MonadState s m)     => MonadState s       (t m)

• instance (MonadTrans t, Monad (t m),        MonadWriter w m)    => MonadWriter w      (t m)

• instance (MonadBaseControl b m,             MonadCont b)        => MonadCont          m

• instance (MonadBaseControl b m,             MonadError e b)     => MonadError e       m

• instance (MonadBaseControl b m,             MonadFix b)         => MonadFix           m

• instance (MonadBase b m,                    MonadIO b)          => MonadIO            m

• instance (MonadBase b m,                    MonadReader r b)    => MonadReader r      m

• instance (MonadBase b m,                    MonadRWS r w s b)   => MonadRWS r w s     m

• instance (MonadBase b m,                    MonadState s b)     => MonadState s       m

• instance (MonadBase b m,                    MonadWriter w b)    => MonadWriter w      m

Note that the following instance is not included, as currently it cannot be due to GHC bug #4259:

• instance (MonadTransControl t, Monad (t m), MonadBaseControl b m) => MonadBaseControl b (t m)