Copyright | Copyright 2024 Shea Levy. |
---|---|
License | Apache-2.0 |
Maintainer | shea@shealevy.com |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Synopsis
- type MonadTransMonadConstraint (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) = () :: Constraint
Documentation
type MonadTransMonadConstraint (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) = () :: Constraint Source #
Work around lack of MonadTrans
monad-preserving superconstraint in
older transformers
.