Safe Haskell	None
Language	Haskell2010

Cautious.CautiousT

Documentation

module Cautious.Cautious

newtype CautiousT w e (m :: * -> *) a Source #

Constructors

CautiousT
Fields runCautiousT :: m (Cautious w e a)

Instances

Monoid w => MonadTrans (CautiousT w e) Source #
Methods lift :: Monad m => m a -> CautiousT w e m a #
(Monad m, Monoid w) => Monad (CautiousT w e m) Source #
Methods (>>=) :: CautiousT w e m a -> (a -> CautiousT w e m b) -> CautiousT w e m b # (>>) :: CautiousT w e m a -> CautiousT w e m b -> CautiousT w e m b # return :: a -> CautiousT w e m a # fail :: String -> CautiousT w e m a #
Functor m => Functor (CautiousT w e m) Source #
Methods fmap :: (a -> b) -> CautiousT w e m a -> CautiousT w e m b # (<$) :: a -> CautiousT w e m b -> CautiousT w e m a #
(Applicative m, Monoid w) => Applicative (CautiousT w e m) Source #
Methods pure :: a -> CautiousT w e m a # (<>) :: CautiousT w e m (a -> b) -> CautiousT w e m a -> CautiousT w e m b # liftA2 :: (a -> b -> c) -> CautiousT w e m a -> CautiousT w e m b -> CautiousT w e m c # (>) :: CautiousT w e m a -> CautiousT w e m b -> CautiousT w e m b # (<*) :: CautiousT w e m a -> CautiousT w e m b -> CautiousT w e m a #
(MonadIO m, Monoid w) => MonadIO (CautiousT w e m) Source #
Methods liftIO :: IO a -> CautiousT w e m a #
Eq (m (Cautious e w a)) => Eq (CautiousT e w m a) Source #
Methods (==) :: CautiousT e w m a -> CautiousT e w m a -> Bool # (/=) :: CautiousT e w m a -> CautiousT e w m a -> Bool #
Show (m (Cautious e w a)) => Show (CautiousT e w m a) Source #
Methods showsPrec :: Int -> CautiousT e w m a -> ShowS # show :: CautiousT e w m a -> String # showList :: [CautiousT e w m a] -> ShowS #
Generic (CautiousT w e m a) Source #
Associated Types type Rep (CautiousT w e m a) :: * -> * # Methods from :: CautiousT w e m a -> Rep (CautiousT w e m a) x # to :: Rep (CautiousT w e m a) x -> CautiousT w e m a #
Validity (m (Cautious e w a)) => Validity (CautiousT e w m a) Source #
Methods validate :: CautiousT e w m a -> Validation #
type Rep (CautiousT w e m a) Source #
type Rep (CautiousT w e m a) = D1 * (MetaData "CautiousT" "Cautious.CautiousT" "cautious-0.3.0.0-KRies3MkfbrEWreZ9GKujP" True) (C1 * (MetaCons "CautiousT" PrefixI True) (S1 * (MetaSel (Just Symbol "runCautiousT") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (m (Cautious w e a)))))

cautiousWarning :: Monad m => w -> a -> CautiousT w e m a Source #

cautiousWarningIfNothing :: (Monoid w, Monad m) => w -> Maybe a -> CautiousT w e m (Maybe a) Source #

cautiousWarningM :: Monad m => w -> m a -> CautiousT w e m a Source #

cautiousError :: Monad m => e -> CautiousT w e m a Source #

cautiousErrorIfNothing :: (Monoid w, Monad m) => Maybe a -> e -> CautiousT w e m a Source #