Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class MonadTrans t => MonadTransCoerce t where
- transCoerce :: forall m1 m2. Coercible m1 m2 => Dict (Coercible (t m1) (t m2))
Documentation
class MonadTrans t => MonadTransCoerce t where Source #
A monad transformer for which coercibility is transitive.
Instances
MonadTransCoerce MaybeT Source # | |
MonadTransCoerce (ExceptT e) Source # | |
MonadTransCoerce (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
MonadTransCoerce (ReaderT r) Source # | |
MonadTransCoerce (StateT a) Source # | |
Monoid w => MonadTransCoerce (WriterT w) Source # | |
(MonadTransCoerce outerT, MonadTransCoerce innerT, TransConstraint Monad innerT) => MonadTransCoerce (ComposeT outerT innerT) Source # | |
MonadTransCoerce (ContT r) Source # | |