Language.Haskell.Liquid.PrettyPrint

Module with all the printing and serialization routines

Tidy level

data Tidy

Printer ----------------------------------------------------------------

Constructors

Lossy

Full

Instances

Eq Tidy

Ord Tidy

Printing RType

rtypeDoc :: (PPrint (RType a tv ()), PPrint (RType a tv r), PPrint a, PPrint r, PPrint tv, TyConable a, Reftable (RTProp a tv r), Reftable r) => Tidy -> RType a tv r -> Doc

Pretty Printing RefType ----------------------------------

ppr_rtype :: (PPrint (RType a tv ()), PPrint (RType a tv r), PPrint a, PPrint r, PPrint tv, TyConable a, Reftable (RTProp a tv r), Reftable r) => PPEnv -> Prec -> RType a tv r -> Doc

Printing an Orderable List

pprManyOrdered :: (PPrint a, Ord a) => Tidy -> String -> [a] -> [Doc]

Printing an Ordered List

Printing a List with many large items

pprintLongList :: PPrint a => [a] -> Doc

ppSpine :: PPrint a => RType a t t1 -> Doc

pprintSymbol :: Symbol -> Doc