Safe Haskell	None
Language	Haskell2010

Polysemy.ConstraintAbsorber.MonadCont

Synopsis

absorbCont :: forall ref r a. Member (Cont ref) r => (MonadCont (Sem r) => Sem r a) -> Sem r a

Documentation

Arguments

:: 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