Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
state :: (Member (State s) r, Typeable s) => (s -> (a, s)) -> Eff r a Source
Lift a function into state
stateHandler :: Handler (State s) r a (s -> Eff r a) Source
Handle state into a function. Note that applying the resulting function you get out another program that you have to bind over.