Module
Graphics.CanvasAction.Class
- Package
- purescript-canvas-action
- Repository
- artemisSystem/purescript-canvas-action
#MonadCanvasAction Source
class (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 CanvasAction
MonadCanvasAction 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 (MonadAff m, MonadCanvasAction m) <= MonadCanvasAff m where
The MonadCanvasAff
class captures those monads which support canvas
actions and Aff
s.
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
(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)