Gamgine.Lens.IORef

Documentation

type StateIORef a = StateT (IORef a) IO

mapIORef :: IORef a -> (a -> b) -> IO b

map a function on the value of the IORef

get :: StateIORef a a

get the value of the IORef inside of the State

gets :: (a -> b) -> StateIORef a b

apply a function on the value of the IORef

getsL :: Lens a b -> StateIORef a b

apply the getter lens on the value of the IORef inside of the State

put :: a -> StateIORef a ()

set the value of the IORef inside of the State

putL :: Lens a b -> b -> StateIORef a ()

put a value

modify :: (a -> a) -> StateIORef a ()

modify the value of the IORef inside of the State with a lens

modifyL :: Lens a b -> (b -> b) -> StateIORef a ()

modify the value of the IORef inside of the State with a lens

getL :: IORef a -> Lens a b -> IO b

apply the getter of the lens on the value of the IORef

setL :: IORef a -> Lens a b -> b -> IO ()

apply the setter of the lens on the value of the IORef

modL :: IORef a -> Lens a b -> (b -> b) -> IO ()

modify the value of the IORef with a lens