Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.ConstraintAbsorber.MonadCont

valueabsorbCont

:: Member (Cont ref) r
=> (MonadCont (Sem r) => Sem r a)
A computation that requires an instance of MonadCont for Sem. This might be something with type MonadCont m => m a.
-> Sem r a

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