Polysemy.ConstraintAbsorber.MonadReader

Documentation

absorbReader

Arguments

:: Member (Reader i) r

=> (MonadReader i (Sem r) => Sem r a)

A computation that requires an instance of MonadReader for Sem. This might be something with type MonadReader r m => m a.

-> Sem r a

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

Since: 0.3.0.0