LMonad.Label.PowerSet

Documentation

data Ord p => PSLabel p

Power set label made of all combinations of the principals.

Constructors

PSLabel

Fields

• psLabelConfidentiality :: Set p
• psLabelIntegrity :: Set p

Instances

(Show p, Ord p) => Show (PSLabel p)

Methods

showsPrec :: Int -> PSLabel p -> ShowS

show :: PSLabel p -> String

showList :: [PSLabel p] -> ShowS

Ord p => Label (PSLabel p)

Methods

lub :: PSLabel p -> PSLabel p -> PSLabel p

glb :: PSLabel p -> PSLabel p -> PSLabel p

canFlowTo :: PSLabel p -> PSLabel p -> Bool

bottom :: PSLabel p

psSingleton :: Ord p => p -> PSLabel p

Convenience function to convert a principal to confidentiality and integrity PSLabel.

psConfidentialitySingleton :: Ord p => p -> PSLabel p

Convenience function to convert a principal to confidentiality PSLabel.

psIntegritySingleton :: Ord p => p -> PSLabel p

Convenience function to convert a principal to integrity PSLabel.

type PSLabeled p = Labeled (PSLabel p)

Type alias for labeled power sets.