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 `MonadWriter` for `Sem`. This might be something with type `MonadWriter w m => m a`.
-> Sem r a

Introduce a local MonadWriter constraint on Sem --- allowing it to interop nicely with MTL.

Since: 0.3.0.0