Disco.Effects.State

Utility functions for state effect.

Documentation

module Polysemy.State

zoom :: forall s a r c. Member (State s) r => Lens' s a -> Sem (State a ': r) c -> Sem r c

Use a lens to zoom into a component of a state.

use :: Member (State s) r => Getter s a -> Sem r a

(%=) :: Member (State s) r => Lens' s a -> (a -> a) -> Sem r () infix 4

(.=) :: Member (State s) r => Lens' s a -> a -> Sem r () infix 4