Control.Effects.State

Documentation

get :: (c ~ ContT (s -> m r) m, AutoLift c n, Monad m) => Proxy c -> n s

put :: (c ~ ContT (s -> m r) m, AutoLift c n, Monad m) => Proxy c -> s -> n ()

ref :: Monad m => s -> Handler (s -> m a) a m a