mac-0.1.3.0: Static Mandatory Access Control in Haskell
MAC.Labeled
Description
Labeled expressions.
Synopsis
type Labeled l a = Res l (Id a) Source #
Labeled expressions
newtype Id a Source #
Type denoting values of type a
a
Constructors
Fields
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