Control.Monad.Trans.StringError

Documentation

newtype StringErrorT m a

Constructors

StringErrorT

Fields

• runStringErrorT :: m (Either String a)

Instances

MonadTrans StringErrorT

Methods

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

Monad m => Monad (StringErrorT m)

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)

Methods

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

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

Monad m => MonadFail (StringErrorT m)

Methods

fail :: String -> StringErrorT m a

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

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)

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)

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)

Methods

liftIO :: IO a -> StringErrorT m a

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

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)

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

Transform the computation inside a StringErrorT.

• runStringErrorT (mapStringErrorT f m) = f (runStringErrorT m)