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

Language | Haskell2010 |

## Synopsis

- absorbWriter :: forall w r a. (Monoid w, Member (Writer w) r) => (MonadWriter w (Sem r) => Sem r a) -> Sem r a

# Documentation

:: (Monoid w, Member (Writer w) r) | |

=> (MonadWriter w (Sem r) => Sem r a) | A computation that requires an instance of |

-> Sem r a |

Introduce a local `MonadWriter`

constraint on `Sem`

--- allowing it to
interop nicely with MTL.

*Since: 0.3.0.0*