jukebox-0.5.5: A first-order reasoning toolbox
Safe HaskellSafe-Inferred
LanguageHaskell2010

Jukebox.TPTP.Print

Synopsis

Documentation

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

Pretty print a value with the prettyNormal level.

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

Orphan instances

Show Atomic Source # 
Instance details

Show AxKind Source # 
Instance details

Show Clause Source # 
Instance details

Show ConjKind Source # 
Instance details

Show Connective Source # 
Instance details

Show Form Source # 
Instance details

Methods

showsPrec :: Int -> Form -> ShowS #

show :: Form -> String #

showList :: [Form] -> ShowS #

Show FunType Source # 
Instance details

Show Kind Source # 
Instance details

Methods

showsPrec :: Int -> Kind -> ShowS #

show :: Kind -> String #

showList :: [Kind] -> ShowS #

Show Term Source # 
Instance details

Methods

showsPrec :: Int -> Term -> ShowS #

show :: Term -> String #

showList :: [Term] -> ShowS #

Show Type Source # 
Instance details

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

Show Token Source # 
Instance details

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

Pretty Atomic Source # 
Instance details

Pretty Clause Source # 
Instance details

Pretty Form Source # 
Instance details

Pretty FunType Source # 
Instance details

Pretty Term Source # 
Instance details

Pretty Type Source # 
Instance details

Pretty Name Source # 
Instance details

Pretty a => Show (Input a) Source # 
Instance details

Methods

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

show :: Input a -> String #

showList :: [Input a] -> ShowS #

Pretty a => Pretty (Input a) Source # 
Instance details