dclabel-eci11-0.2: Dynamic labels to assign confidentiality and integrity levels in scenarios of mutual distrust

DCLabel.PrettyShow

Synopsis

Documentation

class PrettyShow a whereSource

Class used to create a Doc type of DCLabel-related types

Render a PrettyShow type to a string.

Methods

pShow :: a -> DocSource

Instances

prettyShow :: PrettyShow a => a -> StringSource