Cautious.CautiousT

Documentation

module Cautious.Cautious

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

Constructors

CautiousT

Fields

• runCautiousT :: m (Cautious w e a)

Instances

Monoid w => MonadTrans (CautiousT w e)

Methods

lift :: Monad m => m a -> CautiousT w e m a

(Monad m, Monoid w) => Monad (CautiousT w e m)

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)

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)

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)

Methods

liftIO :: IO a -> CautiousT w e m a

Eq (m (Cautious e w a)) => Eq (CautiousT e w m a)

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)

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)

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)

Methods

validate :: CautiousT e w m a -> Validation

type Rep (CautiousT w e m a)

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

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

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

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

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