| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Polysemy.ConstraintAbsorber.MonadWriter
Synopsis
- absorbWriter :: forall w r a. (Monoid w, Member (Writer w) r) => (MonadWriter w (Sem r) => Sem r a) -> Sem r a
Documentation
Arguments
| :: (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