Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Types.PrettyPrint

Contents

Printable RTypes
Printers
Printing Lists (TODO: move to fixpoint)
Orphan instances

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), Eq c, Eq tv, Hashable tv) Source #

Printers

rtypeDoc :: OkRT c tv r => Tidy -> 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 => Tidy -> [a] -> Doc Source #

pprintSymbol :: Symbol -> Doc Source #

Orphan instances

Show Predicate Source #
Methods showsPrec :: Int -> Predicate -> ShowS # show :: Predicate -> String # showList :: [Predicate] -> ShowS #
PPrint SourceError Source #
Methods pprintTidy :: Tidy -> SourceError -> Doc # pprintPrec :: Int -> Tidy -> SourceError -> Doc #
PPrint Class Source #
Methods pprintTidy :: Tidy -> Class -> Doc # pprintPrec :: Int -> Tidy -> Class -> Doc #
PPrint Var Source #
Methods pprintTidy :: Tidy -> Var -> Doc # pprintPrec :: Int -> Tidy -> Var -> Doc #
PPrint ErrMsg Source #	A whole bunch of PPrint instances follow ----------------------------------
Methods pprintTidy :: Tidy -> ErrMsg -> Doc # pprintPrec :: Int -> Tidy -> ErrMsg -> Doc #
PPrint Type Source #
Methods pprintTidy :: Tidy -> Type -> Doc # pprintPrec :: Int -> Tidy -> Type -> Doc #
PPrint TyCon Source #
Methods pprintTidy :: Tidy -> TyCon -> Doc # pprintPrec :: Int -> Tidy -> TyCon -> Doc #
PPrint Name Source #
Methods pprintTidy :: Tidy -> Name -> Doc # pprintPrec :: Int -> Tidy -> Name -> Doc #
PPrint Tidy Source #
Methods pprintTidy :: Tidy -> Tidy -> Doc # pprintPrec :: Int -> Tidy -> Tidy -> Doc #
PPrint LMap Source #
Methods pprintTidy :: Tidy -> LMap -> Doc # pprintPrec :: Int -> Tidy -> LMap -> Doc #
PPrint LogicMap Source #
Methods pprintTidy :: Tidy -> LogicMap -> Doc # pprintPrec :: Int -> Tidy -> LogicMap -> Doc #
PPrint a => Show (AnnInfo a) Source #
Methods showsPrec :: Int -> AnnInfo a -> ShowS # show :: AnnInfo a -> String # showList :: [AnnInfo a] -> ShowS #
PPrint t => PPrint (Annot t) Source #
Methods pprintTidy :: Tidy -> Annot t -> Doc # pprintPrec :: Int -> Tidy -> Annot t -> Doc #
PPrint a => PPrint (AnnInfo a) Source #
Methods pprintTidy :: Tidy -> AnnInfo a -> Doc # pprintPrec :: Int -> Tidy -> AnnInfo a -> Doc #
(PPrint r, Reftable r) => PPrint (UReft r) Source #
Methods pprintTidy :: Tidy -> UReft r -> Doc # pprintPrec :: Int -> Tidy -> UReft r -> Doc #
(PPrint tv, PPrint ty) => PPrint (RTAlias tv ty) Source #
Methods pprintTidy :: Tidy -> RTAlias tv ty -> Doc # pprintPrec :: Int -> Tidy -> RTAlias tv ty -> Doc #
OkRT c tv r => PPrint (RType c tv r) Source #	Pretty Printing RefType ---------------------------------------------------
Methods pprintTidy :: Tidy -> RType c tv r -> Doc # pprintPrec :: Int -> Tidy -> RType c tv r -> Doc #