Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype ComposeT s t m a Source #
ComposeT | |
|
(MFunctor k1 k2 s, MFunctor k2 k t) => MFunctor k1 k (ComposeT (k -> *) k1 (k2 -> *) s t) Source # | |
(MFunctor * * s, MonadTrans s, MonadTrans t) => MonadTrans (ComposeT (* -> *) * (* -> *) s t) Source # | |
Monad (s (t m)) => Monad (ComposeT k1 * k s t m) Source # | |
Functor (s (t m)) => Functor (ComposeT k1 * k s t m) Source # | |
Applicative (s (t m)) => Applicative (ComposeT k1 * k s t m) Source # | |
Foldable (s (t m)) => Foldable (ComposeT k1 * k s t m) Source # | |
Traversable (s (t m)) => Traversable (ComposeT k1 * k s t m) Source # | |
Eq1 (s (t m)) => Eq1 (ComposeT k1 * k s t m) Source # | |
Ord1 (s (t m)) => Ord1 (ComposeT k1 * k s t m) Source # | |
Read1 (s (t m)) => Read1 (ComposeT k1 * k s t m) Source # | |
Show1 (s (t m)) => Show1 (ComposeT k1 * k s t m) Source # | |
Alternative (s (t m)) => Alternative (ComposeT k1 * k s t m) Source # | |
MonadPlus (s (t m)) => MonadPlus (ComposeT k1 * k s t m) Source # | |
Functor (s (t m)) => Functor (ComposeT k1 * k s t m) Source # | |
Bounded (s (t m) a) => Bounded (ComposeT k2 k1 k s t m a) Source # | |
Eq (s (t m) a) => Eq (ComposeT k2 k1 k s t m a) Source # | |
Ord (s (t m) a) => Ord (ComposeT k2 k1 k s t m a) Source # | |
Read (s (t m) a) => Read (ComposeT k2 k1 k s t m a) Source # | |
Show (s (t m) a) => Show (ComposeT k2 k1 k s t m a) Source # | |
Semigroup (s (t m) a) => Semigroup (ComposeT k2 k1 k s t m a) Source # | |
Monoid (s (t m) a) => Monoid (ComposeT k2 k1 k s t m a) Source # | |