deBold | Text.PrettyPrint.MPPPC.OneDim |
deUnderline | Text.PrettyPrint.MPPPC.OneDim |
dot | Text.PrettyPrint.MPPPC.OneDim |
dullBlack | Text.PrettyPrint.MPPPC.OneDim |
dullBlue | Text.PrettyPrint.MPPPC.OneDim |
dullCyan | Text.PrettyPrint.MPPPC.OneDim |
dullGreen | Text.PrettyPrint.MPPPC.OneDim |
dullMagenta | Text.PrettyPrint.MPPPC.OneDim |
dullRed | Text.PrettyPrint.MPPPC.OneDim |
dullWhite | Text.PrettyPrint.MPPPC.OneDim |
dullYellow | Text.PrettyPrint.MPPPC.OneDim |