DCLabel.PrettyShow

This module exports a function prettyShow that pretty prints Principals, Disjunctions, Conjunctions, Components and DCLabels.

Documentation

class PrettyShow a where

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

Methods

pShow

Arguments

:: a

-> Doc

Convert to Doc.

Instances

PrettyShow TCBPriv

PrettyShow Principal

PrettyShow DCLabel

PrettyShow Component

PrettyShow Conj

PrettyShow Disj

PrettyShow SLabel

PrettyShow ILabel

prettyShow :: PrettyShow a => a -> String

Render a PrettyShow type to a string.