effects-0: Computational Effects

Control.Effects.State

Documentation

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