An effect for getting the end state of a computation in advance.
Constructors
GetEndState :: EndState s m s
Modulepolysemy-zoo-0.8.2.0Haskell2010
Polysemy.EndState
- 1 type
- 3 values
- Packagepolysemy-zoo-0.8.2.0
- Exports4
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceEndState.hs
Effect
1 declarationActions
1 declarationInterpretations
2 declarationsRuns an EndState effect by getting the state after the computation has finished, and providing it recursively back to calls of getEndState.
Like runEndState, but for AtomicState rather than State.