Copyright | Copyright 2024 Shea Levy. |
---|---|
License | Apache-2.0 |
Maintainer | shea@shealevy.com |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
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 #
MonadTrans
formers 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 |