liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Types.PrettyPrint

Contents

Description

This module contains a single function that converts a RType -> Doc without using *any* simplifications.

Synopsis

Printable RTypes

type OkRT c tv r = (TyConable c, PPrint tv, PPrint c, PPrint r, Reftable r, Reftable (RTProp c tv ()), Reftable (RTProp c tv r), RefTypable c tv (), RefTypable c tv r, PPrint (RType c tv r), PPrint (RType c tv ())) Source

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

Printers

rtypeDoc :: OkRT c tv r => Tidy -> RType c tv r -> Doc Source

ppr_rtype :: OkRT c tv r => PPEnv -> Prec -> RType c tv r -> Doc Source

Printing Lists (TODO: move to fixpoint)

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

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

pprintSymbol :: Symbol -> Doc Source