Concur.Core.LiftWidget

class LiftWidget :: Type -> (Type -> Type) -> Constraintclass LiftWidget v m  where

A way to lift widgets into higher monads

Members

• liftWidget :: forall a. Widget v a -> m a

Instances

• LiftWidget v (Widget v)
• (Monad m, LiftWidget v m) => LiftWidget v (ExceptT e m)
• (Monoid w, Monad m, LiftWidget v m) => LiftWidget v (RWST r w s m)
• (Monad m, LiftWidget v m) => LiftWidget v (ReaderT r m)
• (Monad m, LiftWidget v m) => LiftWidget v (StateT s m)
• (Monoid s, Monad m, LiftWidget v m) => LiftWidget v (WriterT s m)