Language.Haskell.Liquid.Types.PrettyPrint

Printable RTypes

type OkRT c tv r

Printers

rtypeDoc

ppr_rtype

Printing Lists (TODO: move to fixpoint)

pprManyOrdered

pprintLongList

pprintSymbol