Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.EndState

Effect

1 declaration

datadata EndState (s :: k) (m :: k1) (a :: k) where

An effect for getting the end state of a computation in advance.

1 declaration

valuegetEndState :: Member (EndState s) r => Sem r s

2 declarations

valuerunEndState

Runs an EndState effect by getting the state after the computation has finished, and providing it recursively back to calls of getEndState.

valuerunEndAtomicState

Like runEndState, but for AtomicState rather than State.