Safe Haskell	Safe
Language	GHC2021

Control.XMonad.Trans

Contents

Synopsis

class (forall m i. Monad m => Monad (t m i i)) => XMonadTrans t where
- xlift :: Monad m => m a -> t m i i a

Documentation

class (forall m i. Monad m => Monad (t m i i)) => XMonadTrans t where #

Indexed monad transformer.

The inner monad m is not indexed. See indexed for an analogous definition.

Methods

xlift :: Monad m => m a -> t m i i a #

Orphan instances

(XMonadTrans t, MonadWriter w m, bef ~ aft) => MonadWriter w (t m bef aft) #
Instance details Methods writer :: (a, w) -> t m bef aft a # tell :: w -> t m bef aft () # listen :: t m bef aft a -> t m bef aft (a, w) # pass :: t m bef aft (a, w -> w) -> t m bef aft a #