| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.PrettyPrint
Description
Module with all the printing and serialization routines
- data Tidy
- rtypeDoc :: (PPrint (RType p a tv ()), PPrint (RType p a tv r), PPrint a, PPrint r, PPrint tv, TyConable a, Reftable (RTProp p a tv r), Reftable r) => Tidy -> RType p a tv r -> Doc
- ppr_rtype :: (PPrint (RType p a tv ()), PPrint (RType p a tv r), PPrint a, PPrint r, PPrint tv, TyConable a, Reftable (RTProp p a tv r), Reftable r) => PPEnv -> Prec -> RType p a tv r -> Doc
- pprManyOrdered :: (PPrint a, Ord a) => Tidy -> String -> [a] -> [Doc]
- pprintLongList :: PPrint a => [a] -> Doc
- ppSpine :: PPrint a => RType t a t1 t2 -> Doc
Tidy level
Printer ----------------------------------------------------------------
Printing RType
rtypeDoc :: (PPrint (RType p a tv ()), PPrint (RType p a tv r), PPrint a, PPrint r, PPrint tv, TyConable a, Reftable (RTProp p a tv r), Reftable r) => Tidy -> RType p a tv r -> Doc Source
Pretty Printing RefType ----------------------------------
ppr_rtype :: (PPrint (RType p a tv ()), PPrint (RType p a tv r), PPrint a, PPrint r, PPrint tv, TyConable a, Reftable (RTProp p a tv r), Reftable r) => PPEnv -> Prec -> RType p a tv r -> Doc Source
Printing an Orderable List
pprManyOrdered :: (PPrint a, Ord a) => Tidy -> String -> [a] -> [Doc] Source
Printing an Ordered List
Printing a List with many large items
pprintLongList :: PPrint a => [a] -> Doc Source