Language.Fixpoint.Types.PrettyPrint

traceFix

class Fixpoint a

showFix

data Tidy

class PPrint a

pprint

showpp

showTable

tracepp

notracepp

pprintKVs

data DocTable

class PTable a

boxHSep

boxDoc

docBox