Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- newtype RevState s m a where
- revState :: forall s a r. Member (RevState s) r => (s -> (s, a)) -> Sem r a
- revGet :: forall s r. Member (RevState s) r => Sem r s
- revPut :: forall s r. Member (RevState s) r => s -> Sem r ()
- revModify :: forall s r. Member (RevState s) r => (s -> s) -> Sem r ()
- runRevState :: Member Fixpoint r => s -> Sem (RevState s ': r) a -> Sem r (s, a)
- runLazyRevState :: Member Fixpoint r => s -> Sem (RevState s ': r) a -> Sem r (s, a)

# Effect

newtype RevState s m a where Source #

A `State`

effect for threading state *backwards* instead
of forwards through a computation.

## Instances

type DefiningModule (RevState :: Type -> k -> Type -> Type) Source # | |

Defined in Polysemy.RevState |

# Actions

revPut :: forall s r. Member (RevState s) r => s -> Sem r () Source #

Sends a new state into the past.