Data.Model.Pretty

Pretty instances for the model types

Documentation

data CompactPretty a

Compact representation: a value enveloped in CompactPretty will have only its first lines displayed

Constructors

CompactPretty a

Instances

Pretty a => Pretty (CompactPretty a)

Methods

pPrintPrec :: PrettyLevel -> Rational -> CompactPretty a -> Doc

pPrint :: CompactPretty a -> Doc

pPrintList :: PrettyLevel -> [CompactPretty a] -> Doc

Utilities

dottedP :: [String] -> Doc

Intercalate a dot between the non empty elements of a list of strings

spacedP :: Pretty a => [a] -> Doc

Intercalate with a space

vspacedP :: Pretty a => [a] -> Doc

Intercalate with a new line

varP :: Integral n => n -> Doc

Convert a variable number (0,1,..) to a name (a,b,..)

varC :: Integral a => a -> Char

Convert a variable number (0,1,..) to a name (a,b,..)

Re-exports

class Pretty a where

Pretty printing class. The precedence level is used in a similar way as in the Show class. Minimal complete definition is either pPrintPrec or pPrint.

Minimal complete definition

pPrintPrec | pPrint

Methods

pPrintPrec :: PrettyLevel -> Rational -> a -> Doc

pPrint :: a -> Doc

pPrintList :: PrettyLevel -> [a] -> Doc

Instances

Pretty Bool

Methods

pPrintPrec :: PrettyLevel -> Rational -> Bool -> Doc

pPrint :: Bool -> Doc

pPrintList :: PrettyLevel -> [Bool] -> Doc

Pretty Char

Methods

pPrintPrec :: PrettyLevel -> Rational -> Char -> Doc

pPrint :: Char -> Doc

pPrintList :: PrettyLevel -> [Char] -> Doc

Pretty Double

Methods

pPrintPrec :: PrettyLevel -> Rational -> Double -> Doc

pPrint :: Double -> Doc

pPrintList :: PrettyLevel -> [Double] -> Doc

Pretty Float

Methods

pPrintPrec :: PrettyLevel -> Rational -> Float -> Doc

pPrint :: Float -> Doc

pPrintList :: PrettyLevel -> [Float] -> Doc

Pretty Int

Methods

pPrintPrec :: PrettyLevel -> Rational -> Int -> Doc

pPrint :: Int -> Doc

pPrintList :: PrettyLevel -> [Int] -> Doc

Pretty Integer

Methods

pPrintPrec :: PrettyLevel -> Rational -> Integer -> Doc

pPrint :: Integer -> Doc

pPrintList :: PrettyLevel -> [Integer] -> Doc

Pretty Ordering

Methods

pPrintPrec :: PrettyLevel -> Rational -> Ordering -> Doc

pPrint :: Ordering -> Doc

pPrintList :: PrettyLevel -> [Ordering] -> Doc

Pretty ()

Methods

pPrintPrec :: PrettyLevel -> Rational -> () -> Doc

pPrint :: () -> Doc

pPrintList :: PrettyLevel -> [()] -> Doc

Pretty a => Pretty [a]

Methods

pPrintPrec :: PrettyLevel -> Rational -> [a] -> Doc

pPrint :: [a] -> Doc

pPrintList :: PrettyLevel -> [[a]] -> Doc

Pretty a => Pretty (Maybe a)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Maybe a -> Doc

pPrint :: Maybe a -> Doc

pPrintList :: PrettyLevel -> [Maybe a] -> Doc

Pretty a => Pretty (CompactPretty a)

Methods

pPrintPrec :: PrettyLevel -> Rational -> CompactPretty a -> Doc

pPrint :: CompactPretty a -> Doc

pPrintList :: PrettyLevel -> [CompactPretty a] -> Doc

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

Methods

pPrintPrec :: PrettyLevel -> Rational -> Either a b -> Doc

pPrint :: Either a b -> Doc

pPrintList :: PrettyLevel -> [Either a b] -> Doc

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

Methods

pPrintPrec :: PrettyLevel -> Rational -> (a, b) -> Doc

pPrint :: (a, b) -> Doc

pPrintList :: PrettyLevel -> [(a, b)] -> Doc

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

Methods

pPrintPrec :: PrettyLevel -> Rational -> (a, b, c) -> Doc

pPrint :: (a, b, c) -> Doc

pPrintList :: PrettyLevel -> [(a, b, c)] -> Doc

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

Methods

pPrintPrec :: PrettyLevel -> Rational -> (a, b, c, d) -> Doc

pPrint :: (a, b, c, d) -> Doc

pPrintList :: PrettyLevel -> [(a, b, c, d)] -> Doc

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

Methods

pPrintPrec :: PrettyLevel -> Rational -> (a, b, c, d, e) -> Doc

pPrint :: (a, b, c, d, e) -> Doc

pPrintList :: PrettyLevel -> [(a, b, c, d, e)] -> Doc

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f) => Pretty (a, b, c, d, e, f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> (a, b, c, d, e, f) -> Doc

pPrint :: (a, b, c, d, e, f) -> Doc

pPrintList :: PrettyLevel -> [(a, b, c, d, e, f)] -> Doc

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g) => Pretty (a, b, c, d, e, f, g)

Methods

pPrintPrec :: PrettyLevel -> Rational -> (a, b, c, d, e, f, g) -> Doc

pPrint :: (a, b, c, d, e, f, g) -> Doc

pPrintList :: PrettyLevel -> [(a, b, c, d, e, f, g)] -> Doc

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g, Pretty h) => Pretty (a, b, c, d, e, f, g, h)

Methods

pPrintPrec :: PrettyLevel -> Rational -> (a, b, c, d, e, f, g, h) -> Doc

pPrint :: (a, b, c, d, e, f, g, h) -> Doc

pPrintList :: PrettyLevel -> [(a, b, c, d, e, f, g, h)] -> Doc

prettyShow :: Pretty a => a -> String

Pretty print a value with the prettyNormal level.

Orphan instances

Pretty Doc

Methods

pPrintPrec :: PrettyLevel -> Rational -> Doc -> Doc

pPrint :: Doc -> Doc

pPrintList :: PrettyLevel -> [Doc] -> Doc

Pretty Name

Methods

pPrintPrec :: PrettyLevel -> Rational -> Name -> Doc

pPrint :: Name -> Doc

pPrintList :: PrettyLevel -> [Name] -> Doc

Pretty QualName

Methods

pPrintPrec :: PrettyLevel -> Rational -> QualName -> Doc

pPrint :: QualName -> Doc

pPrintList :: PrettyLevel -> [QualName] -> Doc

Pretty n => Pretty (TypeRef n)

Methods

pPrintPrec :: PrettyLevel -> Rational -> TypeRef n -> Doc

pPrint :: TypeRef n -> Doc

pPrintList :: PrettyLevel -> [TypeRef n] -> Doc

Pretty r => Pretty (TypeN r)

Methods

pPrintPrec :: PrettyLevel -> Rational -> TypeN r -> Doc

pPrint :: TypeN r -> Doc

pPrintList :: PrettyLevel -> [TypeN r] -> Doc

Pretty r => Pretty (Type r)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Type r -> Doc

pPrint :: Type r -> Doc

pPrintList :: PrettyLevel -> [Type r] -> Doc

(Pretty name, Pretty ref) => Pretty (name, Fields name ref)

Methods

pPrintPrec :: PrettyLevel -> Rational -> (name, Fields name ref) -> Doc

pPrint :: (name, Fields name ref) -> Doc

pPrintList :: PrettyLevel -> [(name, Fields name ref)] -> Doc

(Pretty name, Pretty ref) => Pretty (Fields name ref)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Fields name ref -> Doc

pPrint :: Fields name ref -> Doc

pPrintList :: PrettyLevel -> [Fields name ref] -> Doc

(Pretty name, Pretty ref) => Pretty (ConTree name ref)

Methods

pPrintPrec :: PrettyLevel -> Rational -> ConTree name ref -> Doc

pPrint :: ConTree name ref -> Doc

pPrintList :: PrettyLevel -> [ConTree name ref] -> Doc

(Pretty n, Pretty cn, Pretty r) => Pretty (ADT n cn r)

Methods

pPrintPrec :: PrettyLevel -> Rational -> ADT n cn r -> Doc

pPrint :: ADT n cn r -> Doc

pPrintList :: PrettyLevel -> [ADT n cn r] -> Doc

(Functor t, Pretty (t Name), Pretty exRef, Ord exRef, Show exRef, Convertible adtName String, Convertible consName String, Convertible iref String) => Pretty (TypeModel adtName consName (t iref) exRef)

Methods

pPrintPrec :: PrettyLevel -> Rational -> TypeModel adtName consName (t iref) exRef -> Doc

pPrint :: TypeModel adtName consName (t iref) exRef -> Doc

pPrintList :: PrettyLevel -> [TypeModel adtName consName (t iref) exRef] -> Doc