Polysemy.ConstraintAbsorber.MonadWriter

Documentation

absorbWriter

Arguments

:: forall w r a. (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