dclabel-eci11-0.2: Dynamic labels to assign confidentiality and integrity levels in scenarios of mutual distrust
class PrettyShow a whereSource
Class used to create a Doc type of DCLabel-related types
Render a PrettyShow type to a string.
pShow :: a -> DocSource
prettyShow :: PrettyShow a => a -> StringSource
Produced by Haddock version 2.9.2