mac-0.1.0.0: Static Mandatory Access Control in Haskell

Safe HaskellTrustworthy
LanguageHaskell98

MAC.Labeled

Description

Labeled expressions.

Synopsis

Documentation

type Labeled l a = Res l (Id a) Source

Labeled expressions

data Id a Source

Type denoting values of type a

Constructors

MkId a 

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