polysemy-zoo-0.7.0.1: Experimental, user-contributed effects and interpreters for polysemy

Safe HaskellNone
LanguageHaskell2010

Polysemy.ConstraintAbsorber.MonadError

Synopsis

Documentation

absorbError Source #

Arguments

:: Member (Error e) r 
=> (MonadError e (Sem r) => Sem r a)

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

-> Sem r a 

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

Since: 0.3.0.0