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 [] | |

Tower IO | |

Tower Maybe | |

Tower Identity | |

Tower ((->) r) | |

Tower (Either e) | |

Tower (ST s) | |

Tower (Union u) | |

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

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

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

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

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

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

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

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

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