Control.Monad.Fraxl.Class

Fraxl Monads

class Monad m => MonadFraxl f m where

Class for Fraxl-capable monads.

Minimal complete definition

Nothing

Methods

dataFetch :: f a -> m a

dataFetch is used to make a request of type f.

Instances

MonadFraxl f m => MonadFraxl f (MaybeT m)

MonadFraxl f m => MonadFraxl f (ListT m)

MonadFraxl f m => MonadFraxl f (IdentityT m)

(MonadFraxl f m, Monoid w) => MonadFraxl f (WriterT w m)

(MonadFraxl f m, Monoid w) => MonadFraxl f (WriterT w m)

MonadFraxl f m => MonadFraxl f (StateT s m)

MonadFraxl f m => MonadFraxl f (StateT s m)

MonadFraxl f m => MonadFraxl f (ReaderT e m)

MonadFraxl f m => MonadFraxl f (ExceptT e m)

MonadFraxl f m => MonadFraxl f (ContT r m)

Monad m => MonadFraxl f (FreerT f m)

(Monad m, (∈) (* -> *) f r) => MonadFraxl f (Fraxl r m)

(MonadFraxl f m, Monoid w) => MonadFraxl f (RWST r w s m)

(MonadFraxl f m, Monoid w) => MonadFraxl f (RWST r w s m)