Control.Monad.Trans.Compose

Documentation

newtype ComposeT s t m a

Constructors

ComposeT

Fields

• getComposeT :: s (t m) a

Instances

(MFunctor s, MFunctor t) => MFunctor (ComposeT s t :: (k1 -> *) -> k3 -> *)

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

(MFunctor s, MonadTrans s, MonadTrans t) => MonadTrans (ComposeT s t)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Control.Monad.Trans.Compose

Methods

gmap :: (a -> b) -> ComposeT s t m b -> ComposeT s t m a

(>$) :: b -> ComposeT s t m b -> ComposeT s t m a

Bounded (s (t m) a) => Bounded (ComposeT s t m a)

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)

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)

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)

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)

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)

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)

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