Jukebox.TPTP.Print

Documentation

prettyShow :: Pretty a => a -> String

chattyShow :: Pretty a => a -> String

prettyFormula :: (Pretty a, Symbolic a) => a -> String

prettyProblem :: (Symbolic a, Pretty a) => String -> Level -> Problem a -> Doc

data Level

Constructors

Normal

Chatty

Instances

Eq Level

Ord Level

class Pretty a

Instances

Pretty Name

Pretty Clause

Pretty Form

Pretty Atomic

Pretty Term

Pretty FunType

Pretty Type

Pretty [Term]

Pretty [Type]

Pretty a => Pretty (Input a)