Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

data Supplemented m a Source #

MonadTrans Supplemented Source # | |

Monad m => Monad (Supplemented m) Source # | |

Functor m => Functor (Supplemented m) Source # | |

Monad m => Applicative (Supplemented m) Source # | |

MonadPlus m => Alternative (Supplemented m) Source # | |

MonadPlus m => MonadPlus (Supplemented m) Source # | |

runSupplemented :: Monad m => Supplemented m a -> m (a, m ()) Source #

essence :: Monad m => m a -> Supplemented m a Source #

supplement :: Monad m => m () -> Supplemented m () Source #