jukebox-0.2.17: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.TPTP.Print

Contents

Synopsis

Documentation

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

Pretty print a value with the prettyNormal level.

prettyNames :: Symbolic a => a -> a Source #

Orphan instances

Show Token Source # 

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

Show Kind Source # 

Methods

showsPrec :: Int -> Kind -> ShowS #

show :: Kind -> String #

showList :: [Kind] -> ShowS #

Show Clause Source # 
Show Connective Source # 
Show Form Source # 

Methods

showsPrec :: Int -> Form -> ShowS #

show :: Form -> String #

showList :: [Form] -> ShowS #

Show Atomic Source # 
Show Term Source # 

Methods

showsPrec :: Int -> Term -> ShowS #

show :: Term -> String #

showList :: [Term] -> ShowS #

Show FunType Source # 
Show Type Source # 

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

Pretty Name Source # 
Pretty Clause Source # 
Pretty Form Source # 
Pretty Atomic Source # 
Pretty Term Source # 
Pretty FunType Source # 
Pretty Type Source # 
Pretty a => Show (Input a) Source # 

Methods

showsPrec :: Int -> Input a -> ShowS #

show :: Input a -> String #

showList :: [Input a] -> ShowS #

Pretty a => Pretty (Input a) Source #