Module
Graphics.CanvasAction.Class
- Package
- purescript-canvas-action
- Repository
- artemisSystem/purescript-canvas-action
#MonadCanvasAction Source
class MonadCanvasAction :: (Type -> Type) -> Constraintclass (MonadEffect m) <= MonadCanvasAction m where
The MonadCanvasAction class captures those monads which support canvas
actions.
Instances are provided for CanvasAction, CanvasAff, and the standard
monad transformers.
liftCanvasAction can be used in any appropriate monad transformer stack
to lift an action of type CanvasAction a into the monad.
Members
Instances
MonadCanvasAction CanvasActionMonadCanvasAction CanvasAff(MonadCanvasAction m) => MonadCanvasAction (ReaderT r m)(TypeEquals (Proxy r1) (Proxy (RowApply CTX (RowApply EFFECT r2)))) => MonadCanvasAction (Run r1)(MonadCanvasAction m) => MonadCanvasAction (ContT r m)(MonadCanvasAction m) => MonadCanvasAction (ExceptT e m)(MonadCanvasAction m) => MonadCanvasAction (ListT m)(MonadCanvasAction m) => MonadCanvasAction (MaybeT m)(Monoid w, MonadCanvasAction m) => MonadCanvasAction (RWST r w s m)(MonadCanvasAction m) => MonadCanvasAction (StateT s m)(Monoid w, MonadCanvasAction m) => MonadCanvasAction (WriterT w m)
#MonadCanvasAff Source
class MonadCanvasAff :: (Type -> Type) -> Constraintclass (MonadAff m, MonadCanvasAction m) <= MonadCanvasAff m where
The MonadCanvasAff class captures those monads which support canvas
actions and Affs.
Instances are provided for CanvasAff and the standard monad transformers.
liftCanvasAff can be used in any appropriate monad transformer stack
to lift an action of type CanvasAff a into the monad.
Members
liftCanvasAff :: CanvasAff ~> m
Instances
MonadCanvasAff CanvasAff(MonadCanvasAction (ReaderT r m), MonadCanvasAff m) => MonadCanvasAff (ReaderT r m)(TypeEquals (Proxy r1) (Proxy (RowApply CTX (RowApply AFF (RowApply EFFECT r2))))) => MonadCanvasAff (Run r1)(MonadCanvasAff m) => MonadCanvasAff (ContT r m)(MonadCanvasAff m) => MonadCanvasAff (ExceptT e m)(MonadCanvasAff m) => MonadCanvasAff (ListT m)(MonadCanvasAff m) => MonadCanvasAff (MaybeT m)(Monoid w, MonadCanvasAff m) => MonadCanvasAff (RWST r w s m)(MonadCanvasAff m) => MonadCanvasAff (StateT s m)(Monoid w, MonadCanvasAff m) => MonadCanvasAff (WriterT w m)