mac-0.1.3.0: Static Mandatory Access Control in Haskell
MAC.Ref
Description
Mutuable state (references)
Synopsis
type MACRef l a = Res l (IORef a) Source #
Labeled references
newMACRef :: Less l l' => a -> MAC l (MACRef l' a) Source #
Creation of labeled references
readMACRef :: Less l' l => MACRef l' a -> MAC l a Source #
Reading labeled references
writeMACRef :: Less l l' => MACRef l' a -> a -> MAC l () Source #
Writing labeled references