jukebox-0.1: A first-order reasoning toolbox

Safe Haskell	None
Language	Haskell98

Jukebox.TPTP.Print

Documentation

prettyShow :: Pretty a => a -> String Source

chattyShow :: Pretty a => a -> String Source

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

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

data Level Source

Constructors

Normal
Chatty

Instances

Eq Level
Ord Level

class Pretty a Source

Minimal complete definition

pPrint

Instances

Pretty Name
Pretty Clause
Pretty Form
Pretty Atomic
Pretty Term
Pretty FunType
Pretty Type
Pretty [Term]
Pretty [Type]
Pretty a => Pretty (Input a)