MAC.Ref

Mutuable state (references)

Documentation

type MACRef l a = Res l (IORef a)

Labeled references

newMACRef :: Less l l' => a -> MAC l (MACRef l' a)

Creation of labeled references

readMACRef :: Less l' l => MACRef l' a -> MAC l a

Reading labeled references

writeMACRef :: Less l l' => MACRef l' a -> a -> MAC l ()

Writing labeled references