Data.Type.Pretty

Printing Custom Types

showPretty

type family ToPretty (a :: k) :: PrettyType

Building Pretty Type Documents

type PutStr str

type PutStrW width str

type PutStrLn str

type PutNat x

type PutNatW width x

type l <++> r

type l <+> r

type l <$$> r

type PrettyParens doc

type PrettySurrounded open close doc

type PrettyWide docs

type PrettyHigh docs

type PrettyManyIn sep docs

type family PrettyMany (sep :: PrettyType) (docs :: [PrettyType]) :: PrettyType where ...

type family PrettyOften (n :: Nat) (doc :: PrettyType) :: PrettyType where ...

type PutHex x

type PutHex8 x

type PutHex16 x

type PutHex32 x

type PutHex64 x

type PutHeX x

type PutHeX8 x

type PutHeX16 x

type PutHeX32 x

type PutHeX64 x

type PutBits x

type PutBits8 x

type PutBits16 x

type PutBits32 x

type PutBits64 x

data PrettyType

data PrettyPadded

data PrettyPrecision

data PrettyNatFormat

Low-Level Rendering

class PrettyTypeShow p

class PrintfArgModifier a