Cryptol.Utils.PP

data NameDisp

data NameFormat

neverQualifyMod

alwaysQualify

neverQualify

fmtModName

extend

getNameFormat

withNameDisp

fixNameDisp

data Doc

runDoc

render

class PP a

class PPName a

pp

pretty

optParens

data Assoc

data Infix op thing

commaSep

ppInfix

ordinal

ordSuffix

liftPJ

liftPJ1

liftPJ2

liftSep

(<>)

(<+>)

($$)

sep

fsep

hsep

hcat

vcat

hang

nest

parens

braces

brackets

quotes

punctuate

text

char

integer

int

comma

empty

colon