mac-0.1.2.0: Static Mandatory Access Control in Haskell

Safe HaskellTrustworthy
LanguageHaskell98

MAC.Ref

Description

Mutuable state (references)

Synopsis

Documentation

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