Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
class MonadTrans t => C t where Source #
Provide the methods that make a transformed monad a monad.
Instances
C MaybeT Source # | |
C Track Source # | |
C (ExceptionalT e) Source # | |
Defined in UniqueLogic.ST.MonadTrans point :: forall (m :: Type -> Type) a. Monad m => a -> ExceptionalT e m a Source # bind :: forall (m :: Type -> Type) a b. Monad m => ExceptionalT e m a -> (a -> ExceptionalT e m b) -> ExceptionalT e m b Source # | |
C (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Monoid w => C (WriterT w) Source # | |
Build a regular monad for generic monad transformer and monad.
The Const
type allows us to force the kind (m :: * -> *)
without using ExplicitKindSignatures.