Doc.PPrint

A Pretty printing class using multiparameter type classes for maximal generality with some useful instances.

the pprinted type comes as the last argument so newtype deriving can be used in more places.

Documentation

data Assoc

Constructors

AssocLeft

AssocRight

AssocNone

Instances

Eq Assoc

Ord Assoc

Show Assoc

class DocLike d => PPrint d a where

Methods

pprint :: a -> d

pprintAssoc :: Assoc -> Int -> a -> d

pplist :: [a] -> d

Instances

PPrint String E

DocLike d => PPrint d ()

DocLike d => PPrint d Double

DocLike d => PPrint d Float

DocLike d => PPrint d Int

DocLike d => PPrint d Integer

DocLike d => PPrint d Char

DocLike d => PPrint d Ty

DocLike d => PPrint d Prim

DocLike d => PPrint d ExtType

DocLike d => PPrint d Name

DocLike d => PPrint d Id

DocLike d => PPrint d Var

DocLike d => PPrint d Val

DocLike d => PPrint d TVr

DocLike d => PPrint d Kindvar

DocLike d => PPrint d Kind

DocLike d => PPrint d KBase

DocLike d => PPrint d MetaVar

DocLike d => PPrint d Pred

DocLike d => PPrint d MetaVarType

DocLike d => PPrint d Type

DocLike d => PPrint d Module

DocLike d => PPrint d Tyvar

DocLike d => PPrint d Tycon

DocLike d => PPrint d KindEnv

PPrint a (Qual Pred) => PPrint a Inst

DocLike d => PPrint d Demand

DocLike d => PPrint d HsKind

DocLike d => PPrint d PackedString

DocLike d => PPrint d Version

DocLike d => PPrint d SrcLoc

DocLike d => PPrint d Hash

PPrint Doc HsPat

PPrint Doc HsExp

PPrint Doc HsTyVarBind

PPrint Doc HsType

PPrint Doc HsQualType

PPrint Doc HsDecl

PPrint Doc Exp

PPrint Doc E

PPrint d a => PPrint d [a]

(DocLike d, Show v) => PPrint d (Op v)

(DocLike d, PPrint d t) => PPrint d (Qual t)

PPrint String (Lit E E)

(PPrint d a, PPrint d b) => PPrint d (Map a b)

(PPrint d a, PPrint d b) => PPrint d (Either a b)

(PPrint d a, PPrint d b) => PPrint d (a, b)

(PPrint d a, PPrint d b, PPrint d c) => PPrint d (a, b, c)

pprintParen :: PPrint d a => a -> d

pprintPrec :: PPrint d a => Int -> a -> d

checkAssoc :: (Ord a1, DocLike a) => Assoc -> a1 -> Assoc -> a1 -> a -> a

checkAssocApp :: (Num a1, Ord a1, DocLike a) => Assoc -> a1 -> a -> a

pprintBinary :: (PPrint a a1, PPrint a a2) => Assoc -> Int -> Assoc -> Int -> a1 -> a -> a2 -> a