Polysemy.ConstraintAbsorber.MonadCont

Documentation

absorbCont

Arguments

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

Since: 0.3.0.0