mac-0.1.2.0: Static Mandatory Access Control in Haskell
MAC.Labeled
Description
Labeled expressions.
Synopsis
type Labeled l a = Res l (Id a) Source
Labeled expressions
data Id a Source
Type denoting values of type a
a
Constructors
label :: Less l l' => a -> MAC l (Labeled l' a) Source
Creation of labeled expressions
unlabel :: Less l' l => Labeled l' a -> MAC l a Source
Observing labeled expressions