Control.Monad.Trans.Instances

Backports orphan instances which are not provided by other modules in transformers-compat.

Orphan instances

Bitraversable (Constant *)

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Constant * a b -> f (Constant * c d)

Bifoldable (Constant *)

Methods

bifold :: Monoid m => Constant * m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Constant * a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Constant * a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Constant * a b -> c

Monad m => Monad (Reverse * m)

Methods

(>>=) :: Reverse * m a -> (a -> Reverse * m b) -> Reverse * m b

(>>) :: Reverse * m a -> Reverse * m b -> Reverse * m b

return :: a -> Reverse * m a

fail :: String -> Reverse * m a

MonadFail m => MonadFail (Reverse * m)

Methods

fail :: String -> Reverse * m a

MonadPlus m => MonadPlus (Reverse * m)

Methods

mzero :: Reverse * m a

mplus :: Reverse * m a -> Reverse * m a -> Reverse * m a

Semigroup a => Semigroup (Constant k a b)

Methods

(<>) :: Constant k a b -> Constant k a b -> Constant k a b

sconcat :: NonEmpty (Constant k a b) -> Constant k a b

stimes :: Integral b => b -> Constant k a b -> Constant k a b