License | Public Domain |
---|---|

Stability | stable |

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

The `MonadAll`

type class, which represents monads which are powerful enough to interpret any monadic action.

# Documentation

class Monad m => MonadAll m where Source

The `MonadAll`

class represents those monads which support every monadic action.

Instances are provided for `AllT`

and the standard monad transformers, so that you can use
arbitrary actions in other monad transformer stacks.

MonadAll m => MonadAll (MaybeT m) | |

MonadAll m => MonadAll (ListT m) | |

MonadAll m => MonadAll (IdentityT m) | |

MonadAll (AllT m) | |

(MonadAll m, Monoid w) => MonadAll (WriterT w m) | |

(MonadAll m, Monoid w) => MonadAll (WriterT w m) | |

MonadAll m => MonadAll (ExceptT e m) | |

MonadAll m => MonadAll (StateT s m) | |

MonadAll m => MonadAll (StateT s m) | |

MonadAll m => MonadAll (ReaderT r m) | |

(MonadAll m, Monoid w) => MonadAll (RWST r w s m) | |

(MonadAll m, Monoid w) => MonadAll (RWST r w s m) |