Modulepolysemy-1.9.2.0

Polysemy.State

Synopsis

valueevalLazyState :: s -> Sem (State s ': r) a -> Sem r a

valueevalState :: s -> Sem (State s ': r) a -> Sem r a

valueexecLazyState :: s -> Sem (State s ': r) a -> Sem r s

valueexecState :: s -> Sem (State s ': r) a -> Sem r s

valueget :: Member (State s) r => Sem r s

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

valuehoistStateIntoStateT :: Sem (State s ': r) a -> StateT s (Sem r) a

valuemodify :: Member (State s) r => (s -> s) -> Sem r ()

valuemodify' :: Member (State s) r => (s -> s) -> Sem r ()

valueput :: Member (State s) r => s -> Sem r ()

valuerunLazyState :: s -> Sem (State s ': r) a -> Sem r (s, a)

valuerunState :: s -> Sem (State s ': r) a -> Sem r (s, a)

valuerunStateIORef

valuerunStateSTRef

valuestateToIO

valuestateToST

datadata State s (m :: k) a where