| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Polysemy.ConstraintAbsorber.MonadState
Synopsis
- absorbState :: Member (State s) r => (MonadState s (Sem r) => Sem r a) -> Sem r a
Documentation
Arguments
| :: Member (State s) r | |
| => (MonadState s (Sem r) => Sem r a) | A computation that requires an instance of |
| -> Sem r a |
Introduce a local MonadState constraint on Sem --- allowing it to
interop nicely with MTL.
Since: 0.3.0.0