Safe Haskell	None
Language	Haskell2010

Control.Monad.Trans.Compose

Documentation

newtype ComposeT s t m a Source #

Constructors

ComposeT
Fields getComposeT :: s (t m) a

Instances

(MFunctor s, MFunctor t) => MFunctor (ComposeT s t :: (k1 -> Type) -> k3 -> Type) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods mmap :: (forall (a :: k). m a -> n a) -> ComposeT s t m a -> ComposeT s t n a Source #
(MFunctor s, MonadTrans s, MonadTrans t) => MonadTrans (ComposeT s t) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods lift :: Monad m => m a -> ComposeT s t m a #
Monad (s (t m)) => Monad (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods (>>=) :: ComposeT s t m a -> (a -> ComposeT s t m b) -> ComposeT s t m b # (>>) :: ComposeT s t m a -> ComposeT s t m b -> ComposeT s t m b # return :: a -> ComposeT s t m a # fail :: String -> ComposeT s t m a #
Functor (s (t m)) => Functor (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods fmap :: (a -> b) -> ComposeT s t m a -> ComposeT s t m b # (<$) :: a -> ComposeT s t m b -> ComposeT s t m a #
Applicative (s (t m)) => Applicative (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods pure :: a -> ComposeT s t m a # (<>) :: ComposeT s t m (a -> b) -> ComposeT s t m a -> ComposeT s t m b # liftA2 :: (a -> b -> c) -> ComposeT s t m a -> ComposeT s t m b -> ComposeT s t m c # (>) :: ComposeT s t m a -> ComposeT s t m b -> ComposeT s t m b # (<*) :: ComposeT s t m a -> ComposeT s t m b -> ComposeT s t m a #
Foldable (s (t m)) => Foldable (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods fold :: Monoid m0 => ComposeT s t m m0 -> m0 # foldMap :: Monoid m0 => (a -> m0) -> ComposeT s t m a -> m0 # foldr :: (a -> b -> b) -> b -> ComposeT s t m a -> b # foldr' :: (a -> b -> b) -> b -> ComposeT s t m a -> b # foldl :: (b -> a -> b) -> b -> ComposeT s t m a -> b # foldl' :: (b -> a -> b) -> b -> ComposeT s t m a -> b # foldr1 :: (a -> a -> a) -> ComposeT s t m a -> a # foldl1 :: (a -> a -> a) -> ComposeT s t m a -> a # toList :: ComposeT s t m a -> [a] # null :: ComposeT s t m a -> Bool # length :: ComposeT s t m a -> Int # elem :: Eq a => a -> ComposeT s t m a -> Bool # maximum :: Ord a => ComposeT s t m a -> a # minimum :: Ord a => ComposeT s t m a -> a # sum :: Num a => ComposeT s t m a -> a # product :: Num a => ComposeT s t m a -> a #
Traversable (s (t m)) => Traversable (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods traverse :: Applicative f => (a -> f b) -> ComposeT s t m a -> f (ComposeT s t m b) # sequenceA :: Applicative f => ComposeT s t m (f a) -> f (ComposeT s t m a) # mapM :: Monad m0 => (a -> m0 b) -> ComposeT s t m a -> m0 (ComposeT s t m b) # sequence :: Monad m0 => ComposeT s t m (m0 a) -> m0 (ComposeT s t m a) #
Eq1 (s (t m)) => Eq1 (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods liftEq :: (a -> b -> Bool) -> ComposeT s t m a -> ComposeT s t m b -> Bool #
Ord1 (s (t m)) => Ord1 (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods liftCompare :: (a -> b -> Ordering) -> ComposeT s t m a -> ComposeT s t m b -> Ordering #
Read1 (s (t m)) => Read1 (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (ComposeT s t m a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [ComposeT s t m a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (ComposeT s t m a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [ComposeT s t m a] #
Show1 (s (t m)) => Show1 (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> ComposeT s t m a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [ComposeT s t m a] -> ShowS #
Alternative (s (t m)) => Alternative (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods empty :: ComposeT s t m a # (<\|>) :: ComposeT s t m a -> ComposeT s t m a -> ComposeT s t m a # some :: ComposeT s t m a -> ComposeT s t m [a] # many :: ComposeT s t m a -> ComposeT s t m [a] #
MonadPlus (s (t m)) => MonadPlus (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods mzero :: ComposeT s t m a # mplus :: ComposeT s t m a -> ComposeT s t m a -> ComposeT s t m a #
Functor (s (t m)) => Functor (ComposeT s t m) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods gmap :: (a -> b) -> ComposeT s t m b -> ComposeT s t m a Source # (>$) :: b -> ComposeT s t m b -> ComposeT s t m a Source #
Bounded (s (t m) a) => Bounded (ComposeT s t m a) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods minBound :: ComposeT s t m a # maxBound :: ComposeT s t m a #
Eq (s (t m) a) => Eq (ComposeT s t m a) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods (==) :: ComposeT s t m a -> ComposeT s t m a -> Bool # (/=) :: ComposeT s t m a -> ComposeT s t m a -> Bool #
Ord (s (t m) a) => Ord (ComposeT s t m a) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods compare :: ComposeT s t m a -> ComposeT s t m a -> Ordering # (<) :: ComposeT s t m a -> ComposeT s t m a -> Bool # (<=) :: ComposeT s t m a -> ComposeT s t m a -> Bool # (>) :: ComposeT s t m a -> ComposeT s t m a -> Bool # (>=) :: ComposeT s t m a -> ComposeT s t m a -> Bool # max :: ComposeT s t m a -> ComposeT s t m a -> ComposeT s t m a # min :: ComposeT s t m a -> ComposeT s t m a -> ComposeT s t m a #
Read (s (t m) a) => Read (ComposeT s t m a) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods readsPrec :: Int -> ReadS (ComposeT s t m a) # readList :: ReadS [ComposeT s t m a] # readPrec :: ReadPrec (ComposeT s t m a) # readListPrec :: ReadPrec [ComposeT s t m a] #
Show (s (t m) a) => Show (ComposeT s t m a) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods showsPrec :: Int -> ComposeT s t m a -> ShowS # show :: ComposeT s t m a -> String # showList :: [ComposeT s t m a] -> ShowS #
Semigroup (s (t m) a) => Semigroup (ComposeT s t m a) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods (<>) :: ComposeT s t m a -> ComposeT s t m a -> ComposeT s t m a # sconcat :: NonEmpty (ComposeT s t m a) -> ComposeT s t m a # stimes :: Integral b => b -> ComposeT s t m a -> ComposeT s t m a #
Monoid (s (t m) a) => Monoid (ComposeT s t m a) Source #
Instance details Defined in Control.Monad.Trans.Compose Methods mempty :: ComposeT s t m a # mappend :: ComposeT s t m a -> ComposeT s t m a -> ComposeT s t m a # mconcat :: [ComposeT s t m a] -> ComposeT s t m a #