zm-0.3.2: Language independent, reproducible, absolute types

Safe HaskellNone
LanguageHaskell2010

ZM.Pretty

Contents

Description

Pretty instances for some basic Haskell types and for data type models

Synopsis

Documentation

hex :: Word8 -> String #

Display a Word in hexadecimal format

unPrettyRef :: String -> SHAKE128_48 a #

Convert the textual representation of a hash code to its equivalent value

>>> unPrettyRef "Kb53bec846608"
SHAKE128_48 181 59 236 132 102 8

prettyList :: [Doc] -> Doc #

Display a list of Docs, with spaced elements

>>> prettyList (map pPrint [11,22,33::Word8])
[11, 22, 33]

prettyTuple :: [Doc] -> Doc #

Display a list of Docs, as a tuple with spaced elements

>>> prettyTuple (map pPrint [11,22,33::Word8])
(11, 22, 33)

Orphan instances

Pretty Int8 # 
Pretty Int16 # 
Pretty Int32 # 
Pretty Int64 # 
Pretty Word # 
Pretty Word8 # 
Pretty Word16 # 
Pretty Word32 # 
Pretty Word64 # 
Pretty ShortByteString # 
Pretty ByteString # 
Pretty ByteString # 
Pretty UTF8Text # 
Pretty UTF16Text # 
Pretty Text # 
Pretty NoEncoding # 
Pretty TypedDecodeException # 
Pretty Identifier # 
Pretty AbsEnv # 
Pretty AbsTypeModel # 
Pretty a => Pretty (Seq a) # 

Methods

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

pPrint :: Seq a -> Doc #

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

Pretty a => Pretty (NonEmptyList a) # 
Pretty a => Pretty (ADTRef a) # 
Show a => Pretty (TypedValue a) # 
Pretty encoding => Pretty (BLOB encoding) # 

Methods

pPrintPrec :: PrettyLevel -> Rational -> BLOB encoding -> Doc #

pPrint :: BLOB encoding -> Doc #

pPrintList :: PrettyLevel -> [BLOB encoding] -> Doc #

Pretty (BLOB UTF16LEEncoding) # 
Pretty (BLOB UTF8Encoding) # 
Pretty a => Pretty (String, ADTRef a) # 
Pretty (AbsEnv, AbsADT) # 
Pretty (AbsEnv, AbsType) # 
(Pretty a, Pretty b) => Pretty (Map a b) # 

Methods

pPrintPrec :: PrettyLevel -> Rational -> Map a b -> Doc #

pPrint :: Map a b -> Doc #

pPrintList :: PrettyLevel -> [Map a b] -> Doc #

(Pretty a, Pretty l) => Pretty (Label a l) # 

Methods

pPrintPrec :: PrettyLevel -> Rational -> Label a l -> Doc #

pPrint :: Label a l -> Doc #

pPrintList :: PrettyLevel -> [Label a l] -> Doc #

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

Methods

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

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

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