withState package:bluefin

withState :: forall s (es :: Effects) a . s -> (forall (e :: Effects) . () => State s e -> Eff (e :& es) (s -> a)) -> Eff es a
bluefin Bluefin.State
>>> runPureEff $ withState 10 $ \st -> do
n <- get st
pure (s -> (2 * n, s))
(20,10)
withStateSource :: forall (es :: Effects) a . (forall (e :: Effects) . () => StateSource e -> Eff (e :& es) a) -> Eff es a
bluefin Bluefin.StateSource
runPureEff $ withStateSource $ \source -> do
n <- newState source 5
total <- newState source 0

withJump $ \done -> forever $ do
n' <- get n
modify total (+ n')
when (n' == 0) $ jumpTo done
modify n (subtract 1)

get total
15