Twee.Pretty

Pretty-printing of terms and assorted other values.

Miscellaneous Pretty instances and utilities.

prettyPrint :: Pretty a => a -> IO ()

pPrintParen :: Bool -> Doc -> Doc

pPrintTuple :: [Doc] -> Doc

pPrintSet :: [Doc] -> Doc

supply :: [String] -> [String]

Generate a list of candidate names for pretty-printing.

Pretty-printing of terms.

class Pretty f => PrettyTerm f where

A class for customising the printing of function symbols.

Methods

termStyle :: f -> TermStyle

Instances

PrettyTerm f => PrettyTerm (Extended f)

Methods

termStyle :: Extended f -> TermStyle

newtype TermStyle

Defines how to print out a function symbol.

Constructors

TermStyle

Fields

• pPrintTerm :: forall a. Pretty a => PrettyLevel -> Rational -> Doc -> [a] -> Doc

  Takes the pretty-printing level, precedence, pretty-printed function symbol and list of arguments and prints the term.

invisible :: TermStyle

For operators like $ that should be printed as a blank space.

curried :: TermStyle

For functions that should be printed curried.

uncurried :: TermStyle

For functions that should be printed uncurried.

prefix :: TermStyle

For prefix operators.

postfix :: TermStyle

For postfix operators.

fixedArity :: Int -> TermStyle -> TermStyle

A helper function that deals with under- and oversaturated applications.

implicitArguments :: Int -> TermStyle -> TermStyle

A helper function that drops a certain number of arguments.

infixStyle :: Int -> TermStyle

For infix operators.

tupleStyle :: TermStyle

For tuples.

module Text.PrettyPrint.HughesPJClass

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 JoinReason

Methods

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

pPrint :: JoinReason -> Doc

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

Pretty JoinStage

Methods

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

pPrint :: JoinStage -> Doc

pPrintList :: PrettyLevel -> [JoinStage] -> 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

(Numbered f, PrettyTerm f) => Pretty (Model f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Model f -> Doc

pPrint :: Model f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Branch f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Branch f -> Doc

pPrint :: Branch f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Formula f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Formula f -> Doc

pPrint :: Formula f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Atom f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Atom f -> Doc

pPrint :: Atom f -> Doc

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

Pretty f => Pretty (Extended f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Extended f -> Doc

pPrint :: Extended f -> Doc

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

Pretty a => Pretty (Labelled a)

Methods

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

pPrint :: Labelled a -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Reduction f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Reduction f -> Doc

pPrint :: Reduction f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Equation f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Equation f -> Doc

pPrint :: Equation f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Rule f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Rule f -> Doc

pPrint :: Rule f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Passive f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Passive f -> Doc

pPrint :: Passive f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (CPs f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> CPs f -> Doc

pPrint :: CPs f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (CP f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> CP f -> Doc

pPrint :: CP f -> Doc

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

(PrettyTerm (ConstantOf a), Pretty a) => Pretty (Critical a)

Methods

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

pPrint :: Critical a -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (CancellationRule f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> CancellationRule f -> Doc

pPrint :: CancellationRule f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Simplification f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Simplification f -> Doc

pPrint :: Simplification f -> Doc

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

(PrettyTerm (ConstantOf a), Pretty a) => Pretty (Modelled a)

Methods

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

pPrint :: Modelled a -> Doc

pPrintList :: PrettyLevel -> [Modelled 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

Orphan instances

Pretty Doc

Methods

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

pPrint :: Doc -> Doc

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

Pretty Var

Methods

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

pPrint :: Var -> Doc

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

(Eq a, Integral a, Pretty a) => Pretty (Ratio a)

Methods

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

pPrint :: Ratio a -> Doc

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

Pretty a => Pretty (Set a)

Methods

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

pPrint :: Set a -> Doc

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

(Numbered f, Pretty f) => Pretty (Fun f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Fun f -> Doc

pPrint :: Fun f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Term f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Term f -> Doc

pPrint :: Term f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (TermList f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> TermList f -> Doc

pPrint :: TermList f -> Doc

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

(Numbered f, PrettyTerm f) => Pretty (Subst f)

Methods

pPrintPrec :: PrettyLevel -> Rational -> Subst f -> Doc

pPrint :: Subst f -> Doc

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

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

Methods

pPrintPrec :: PrettyLevel -> Rational -> Map k v -> Doc

pPrint :: Map k v -> Doc

pPrintList :: PrettyLevel -> [Map k v] -> Doc