Copyright | (c) Fumiaki Kinoshita 2014 |
---|---|

License | BSD3 |

Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |

Stability | experimental |

Portability | non-portable |

Safe Haskell | None |

Language | Haskell2010 |

Automated effect elevator

# Documentation

Nothing

Tower [] Source | |

Tower IO Source | |

Tower Identity Source | |

Tower Maybe Source | |

Tower ((->) r) Source | |

Tower (Either e) Source | |

Tower (ST s) Source | |

Tower (Union u) Source | |

(Monad m, Tower m) => Tower (MaybeT m) Source | |

(Monad m, Tower m) => Tower (ListT m) Source | |

(Monoid w, Monad m, Tower m) => Tower (WriterT w m) Source | |

(Monoid w, Monad m, Tower m) => Tower (WriterT w m) Source | |

(Monad m, Tower m) => Tower (ExceptT e m) Source | |

(Monad m, Tower m) => Tower (StateT s m) Source | |

(Monad m, Tower m) => Tower (StateT s m) Source | |

(Monad m, Tower m) => Tower (ReaderT r m) Source | |

(Monad m, Tower m) => Tower (ContT r m) Source |