Infernu.Pretty

Documentation

tab :: Int -> String

class Pretty a where

Methods

prettyTab :: Int -> a -> String

Instances

Pretty Bool

Pretty SourcePos

Pretty InferState

Pretty NameSource

Pretty VarId

Pretty ClassName

Pretty TypeError

Pretty Source

Pretty Type

Pretty RowTVar

Pretty TConsName

Pretty TypeId

Pretty TBody

Pretty TVarName

>>> prettyTab 0 (0 :: TVarName)
"a"
>>> prettyTab 0 (26 :: TVarName)
"aa"

Pretty LitVal

Pretty EVarName

Pretty GenInfo

Pretty [String]

(Pretty a, Pretty b) => Pretty [(a, b)]

Pretty t => Pretty [TPred t]

Pretty [Type]

Pretty a => Pretty (Maybe a)

Pretty k => Pretty (Set k)

(Ord t, VarNames t, Pretty t) => Pretty (TScheme t)

(VarNames t, Pretty t) => Pretty (TQual t)

Pretty t => Pretty (TPred t)

(Ord t, VarNames t, Pretty t) => Pretty (Class t)

Pretty (FType Type)

Pretty (Exp a)

(Pretty a, Pretty b) => Pretty (Either a b)

(Pretty a, Pretty b) => Pretty (a, b)

(Pretty k, Pretty v) => Pretty (Map k v)

(Show a, Show b) => Pretty (Gr a b)

(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c)

prettyList :: Pretty a => [a] -> String

pretty :: Pretty a => a -> String

nakedSingleOrTuple :: [String] -> String

toChr :: Int -> Char

prettyType :: Int -> FType Type -> String