io-effects-0.1.0: Taming the IO monad

Safe Haskell	None
Language	Haskell2010

IO.Effects.IORef

Contents

IORefs

Synopsis

runIORefs :: ProgramWithHandler IORefs es a -> Program es a
newIORef :: Member IORefs es => a -> Program es (IORef a)
readIORef :: Member IORefs es => IORef a -> Program es a
writeIORef :: Member IORefs es => IORef a -> a -> Program es ()
modifyIORef :: Member IORefs es => IORef a -> (a -> a) -> Program es ()
modifyIORef' :: Member IORefs es => IORef a -> (a -> a) -> Program es ()
atomicModifyIORef :: Member IORefs es => IORef a -> (a -> (a, b)) -> Program es b
atomicModifyIORef' :: Member IORefs es => IORef a -> (a -> (a, b)) -> Program es b
data IORefs m a

IORefs

runIORefs :: ProgramWithHandler IORefs es a -> Program es a Source #

newIORef :: Member IORefs es => a -> Program es (IORef a) Source #

readIORef :: Member IORefs es => IORef a -> Program es a Source #

writeIORef :: Member IORefs es => IORef a -> a -> Program es () Source #

modifyIORef :: Member IORefs es => IORef a -> (a -> a) -> Program es () Source #

modifyIORef' :: Member IORefs es => IORef a -> (a -> a) -> Program es () Source #

atomicModifyIORef :: Member IORefs es => IORef a -> (a -> (a, b)) -> Program es b Source #

atomicModifyIORef' :: Member IORefs es => IORef a -> (a -> (a, b)) -> Program es b Source #

data IORefs m a Source #