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 Source #

Display a Word in hexadecimal format

unPrettyRef :: String -> SHAKE128_48 a Source #

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 Source #

Display a list of Docs, with spaced elements

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

prettyTuple :: [Doc] -> Doc Source #

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 Source # 
Pretty Int16 Source # 
Pretty Int32 Source # 
Pretty Int64 Source # 
Pretty Word Source # 
Pretty Word8 Source # 
Pretty Word16 Source # 
Pretty Word32 Source # 
Pretty Word64 Source # 
Pretty ShortByteString Source # 
Pretty ByteString Source # 
Pretty ByteString Source # 
Pretty UTF8Text Source # 
Pretty UTF16Text Source # 
Pretty Text Source # 
Pretty NoEncoding Source # 
Pretty TypedDecodeException Source # 
Pretty Identifier Source # 
Pretty AbsEnv Source # 
Pretty AbsTypeModel Source # 
Pretty a => Pretty (Seq a) Source # 

Methods

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

pPrint :: Seq a -> Doc #

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

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

Methods

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

pPrint :: BLOB encoding -> Doc #

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

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

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) Source # 

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) Source # 

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 #