Jukebox.TPTP.Print

Documentation

prettyShow :: Pretty a => a -> String

Pretty print a value with the prettyNormal level.

prettyNames :: Symbolic a => a -> a

showClauses :: Problem Clause -> String

pPrintClauses :: Problem Clause -> Doc

showProblem :: Problem Form -> String

pPrintProblem :: Problem Form -> Doc

pPrintProof :: Problem Form -> Doc

Orphan instances

Show Token

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Show Kind

Methods

showsPrec :: Int -> Kind -> ShowS

show :: Kind -> String

showList :: [Kind] -> ShowS

Show Clause

Methods

showsPrec :: Int -> Clause -> ShowS

show :: Clause -> String

showList :: [Clause] -> ShowS

Show Connective

Methods

showsPrec :: Int -> Connective -> ShowS

show :: Connective -> String

showList :: [Connective] -> ShowS

Show Form

Methods

showsPrec :: Int -> Form -> ShowS

show :: Form -> String

showList :: [Form] -> ShowS

Show Atomic

Methods

showsPrec :: Int -> Atomic -> ShowS

show :: Atomic -> String

showList :: [Atomic] -> ShowS

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Show FunType

Methods

showsPrec :: Int -> FunType -> ShowS

show :: FunType -> String

showList :: [FunType] -> ShowS

Show Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Pretty Name

Methods

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

pPrint :: Name -> Doc

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

Pretty Clause

Methods

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

pPrint :: Clause -> Doc

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

Pretty Form

Methods

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

pPrint :: Form -> Doc

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

Pretty Atomic

Methods

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

pPrint :: Atomic -> Doc

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

Pretty Term

Methods

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

pPrint :: Term -> Doc

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

Pretty FunType

Methods

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

pPrint :: FunType -> Doc

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

Pretty Type

Methods

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

pPrint :: Type -> Doc

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

Pretty a => Show (Input a)

Methods

showsPrec :: Int -> Input a -> ShowS

show :: Input a -> String

showList :: [Input a] -> ShowS

Pretty a => Pretty (Input a)

Methods

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

pPrint :: Input a -> Doc

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