Safe Haskell	None
Language	Haskell98

Codec.TPTP.Export

Synopsis

toTPTP' :: forall a. ToTPTP a => a -> String
class ToTPTP a where
isLowerWord :: [Char] -> Bool

Documentation

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

Convenient wrapper for toTPTP

class ToTPTP a where Source #

Minimal complete definition

toTPTP

Methods

toTPTP :: a -> ShowS Source #

Convert to TPTP

Instances

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

isLowerWord :: [Char] -> Bool Source #