| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Polysemy.EndState
Contents
Synopsis
- data EndState s m a where
- GetEndState :: EndState s m s
- getEndState :: forall s r. Member (EndState s) r => Sem r s
- runEndState :: forall s r a. (Member (State s) r, Member Fixpoint r) => Sem (EndState s ': r) a -> Sem r a
- runEndAtomicState :: forall s r a. (Member (AtomicState s) r, Member Fixpoint r) => Sem (EndState s ': r) a -> Sem r a
Effect
data EndState s m a where Source #
An effect for getting the end state of a computation in advance.
Constructors
| GetEndState :: EndState s m s |
Actions
Interpretations
runEndState :: forall s r a. (Member (State s) r, Member Fixpoint r) => Sem (EndState s ': r) a -> Sem r a Source #
Runs an EndState effect by getting the state after the computation
has finished, and providing it recursively back to calls of getEndState.
runEndAtomicState :: forall s r a. (Member (AtomicState s) r, Member Fixpoint r) => Sem (EndState s ': r) a -> Sem r a Source #
Like runEndState, but for AtomicState rather than State.