{-# OPTIONS_HADDOCK not-home #-}
{-# LANGUAGE UndecidableInstances #-}
module Control.Monad.Validate.Class
( MonadValidate(..)
) where
import qualified Control.Monad.Trans.RWS.CPS as CPS
import qualified Control.Monad.Trans.RWS.Lazy as Lazy
import qualified Control.Monad.Trans.RWS.Strict as Strict
import qualified Control.Monad.Trans.State.Lazy as Lazy
import qualified Control.Monad.Trans.State.Strict as Strict
import qualified Control.Monad.Trans.Writer.CPS as CPS
import qualified Control.Monad.Trans.Writer.Lazy as Lazy
import qualified Control.Monad.Trans.Writer.Strict as Strict
import Control.Monad.Trans.Class
import Control.Monad.Trans.Cont
import Control.Monad.Trans.Except
import Control.Monad.Trans.Identity
import Control.Monad.Trans.Maybe
import Control.Monad.Trans.Reader
class (Monad m, Semigroup e) => MonadValidate e m | m -> e where
refute :: e -> m a
dispute :: e -> m ()
default refute :: (MonadTrans t, MonadValidate e m', m ~ t m') => e -> m a
refute = lift . refute
default dispute :: (MonadTrans t, MonadValidate e m', m ~ t m') => e -> m ()
dispute = lift . dispute
instance (MonadValidate e m) => MonadValidate e (ContT r m)
instance (MonadValidate e m) => MonadValidate e (ExceptT a m)
instance (MonadValidate e m) => MonadValidate e (IdentityT m)
instance (MonadValidate e m) => MonadValidate e (MaybeT m)
instance (MonadValidate e m) => MonadValidate e (ReaderT r m)
instance (MonadValidate e m) => MonadValidate e (CPS.RWST r w s m)
instance (MonadValidate e m, Monoid w) => MonadValidate e (Lazy.RWST r w s m)
instance (MonadValidate e m, Monoid w) => MonadValidate e (Strict.RWST r w s m)
instance (MonadValidate e m) => MonadValidate e (Lazy.StateT s m)
instance (MonadValidate e m) => MonadValidate e (Strict.StateT s m)
instance (MonadValidate e m) => MonadValidate e (CPS.WriterT w m)
instance (MonadValidate e m, Monoid w) => MonadValidate e (Lazy.WriterT w m)
instance (MonadValidate e m, Monoid w) => MonadValidate e (Strict.WriterT w m)