| Copyright | Copyright 2024 Shea Levy. |
|---|---|
| License | Apache-2.0 |
| Maintainer | shea@shealevy.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Control.Monad.Trans.Class.Parametric
Description
Synopsis
- class (MonadTrans t, forall m x y. (Monad m, ParametricFunctor m, Coercible x y) => Coercible (t m x) (t m y)) => ParametricMonadTrans t
Documentation
class (MonadTrans t, forall m x y. (Monad m, ParametricFunctor m, Coercible x y) => Coercible (t m x) (t m y)) => ParametricMonadTrans t Source #
MonadTransformers that preserve ParametricFunctor
Instances
| (MonadTrans t, forall (m :: Type -> Type) x y. (Monad m, ParametricFunctor m, Coercible x y) => Coercible (t m x) (t m y)) => ParametricMonadTrans t Source # | |
Defined in Control.Monad.Trans.Class.Parametric | |