effects-0: Computational Effects
Control.Effects.State
get :: (c ~ ContT (s -> m r) m, AutoLift c n, Monad m) => Proxy c -> n sSource
put :: (c ~ ContT (s -> m r) m, AutoLift c n, Monad m) => Proxy c -> s -> n ()Source
ref :: Monad m => s -> Handler (s -> m a) m a aSource