Safe Haskell	None
Language	Haskell98

Codec.TPTP.Export

Synopsis

Documentation

toTPTP' :: forall a. ToTPTP a => a -> String Source #

Convenient wrapper for toTPTP

class ToTPTP a where Source #

Minimal complete definition

Methods

Convert to TPTP

Instances

ToTPTP V Source #
Methods toTPTP :: V -> ShowS Source #
ToTPTP AtomicWord Source #
Methods toTPTP :: AtomicWord -> ShowS Source #
ToTPTP GTerm Source #
Methods toTPTP :: GTerm -> ShowS Source #
ToTPTP GData Source #
Methods toTPTP :: GData -> ShowS Source #
ToTPTP Role Source #
Methods toTPTP :: Role -> ShowS Source #
ToTPTP UsefulInfo Source #
Methods toTPTP :: UsefulInfo -> ShowS Source #
ToTPTP Annotations Source #
Methods toTPTP :: Annotations -> ShowS Source #
ToTPTP TPTP_Input Source #
Methods toTPTP :: TPTP_Input -> ShowS Source #
ToTPTP Quant Source #
Methods toTPTP :: Quant -> ShowS Source #
ToTPTP InfixPred Source #
Methods toTPTP :: InfixPred -> ShowS Source #
ToTPTP BinOp Source #
Methods toTPTP :: BinOp -> ShowS Source #
ToTPTP [TPTP_Input] Source #
Methods toTPTP :: [TPTP_Input] -> ShowS Source #
ToTPTP a => ToTPTP (Identity a) Source #
Methods toTPTP :: Identity a -> ShowS Source #
ToTPTP (T Identity) Source #
Methods toTPTP :: T Identity -> ShowS Source #
ToTPTP (F Identity) Source #
Methods toTPTP :: F Identity -> ShowS Source #
ToTPTP t => ToTPTP (Term0 t) Source #
Methods toTPTP :: Term0 t -> ShowS Source #
(ToTPTP f, ToTPTP t) => ToTPTP (Formula0 t f) Source #
Methods toTPTP :: Formula0 t f -> ShowS Source #