transfer-db-0.3.1.2: ODBC database transfer

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Trans.StringError

Synopsis

Documentation

newtype StringErrorT m a Source #

Constructors

StringErrorT 

Fields

Instances

MonadTrans StringErrorT Source # 

Methods

lift :: Monad m => m a -> StringErrorT m a #

Monad m => Monad (StringErrorT m) Source # 

Methods

(>>=) :: StringErrorT m a -> (a -> StringErrorT m b) -> StringErrorT m b #

(>>) :: StringErrorT m a -> StringErrorT m b -> StringErrorT m b #

return :: a -> StringErrorT m a #

fail :: String -> StringErrorT m a #

Functor m => Functor (StringErrorT m) Source # 

Methods

fmap :: (a -> b) -> StringErrorT m a -> StringErrorT m b #

(<$) :: a -> StringErrorT m b -> StringErrorT m a #

Monad m => MonadFail (StringErrorT m) Source # 

Methods

fail :: String -> StringErrorT m a #

(Functor m, Monad m) => Applicative (StringErrorT m) Source # 

Methods

pure :: a -> StringErrorT m a #

(<*>) :: StringErrorT m (a -> b) -> StringErrorT m a -> StringErrorT m b #

liftA2 :: (a -> b -> c) -> StringErrorT m a -> StringErrorT m b -> StringErrorT m c #

(*>) :: StringErrorT m a -> StringErrorT m b -> StringErrorT m b #

(<*) :: StringErrorT m a -> StringErrorT m b -> StringErrorT m a #

Foldable f => Foldable (StringErrorT f) Source # 

Methods

fold :: Monoid m => StringErrorT f m -> m #

foldMap :: Monoid m => (a -> m) -> StringErrorT f a -> m #

foldr :: (a -> b -> b) -> b -> StringErrorT f a -> b #

foldr' :: (a -> b -> b) -> b -> StringErrorT f a -> b #

foldl :: (b -> a -> b) -> b -> StringErrorT f a -> b #

foldl' :: (b -> a -> b) -> b -> StringErrorT f a -> b #

foldr1 :: (a -> a -> a) -> StringErrorT f a -> a #

foldl1 :: (a -> a -> a) -> StringErrorT f a -> a #

toList :: StringErrorT f a -> [a] #

null :: StringErrorT f a -> Bool #

length :: StringErrorT f a -> Int #

elem :: Eq a => a -> StringErrorT f a -> Bool #

maximum :: Ord a => StringErrorT f a -> a #

minimum :: Ord a => StringErrorT f a -> a #

sum :: Num a => StringErrorT f a -> a #

product :: Num a => StringErrorT f a -> a #

Traversable f => Traversable (StringErrorT f) Source # 

Methods

traverse :: Applicative f => (a -> f b) -> StringErrorT f a -> f (StringErrorT f b) #

sequenceA :: Applicative f => StringErrorT f (f a) -> f (StringErrorT f a) #

mapM :: Monad m => (a -> m b) -> StringErrorT f a -> m (StringErrorT f b) #

sequence :: Monad m => StringErrorT f (m a) -> m (StringErrorT f a) #

MonadIO m => MonadIO (StringErrorT m) Source # 

Methods

liftIO :: IO a -> StringErrorT m a #

(Functor m, Monad m) => Alternative (StringErrorT m) Source # 

Methods

empty :: StringErrorT m a #

(<|>) :: StringErrorT m a -> StringErrorT m a -> StringErrorT m a #

some :: StringErrorT m a -> StringErrorT m [a] #

many :: StringErrorT m a -> StringErrorT m [a] #

Monad m => MonadPlus (StringErrorT m) Source # 

Methods

mzero :: StringErrorT m a #

mplus :: StringErrorT m a -> StringErrorT m a -> StringErrorT m a #

mapStringErrorT :: (m (Either String a) -> n (Either String b)) -> StringErrorT m a -> StringErrorT n b Source #

Transform the computation inside a StringErrorT.