Codec.TPTP.Export

Documentation

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

Convenient wrapper for toTPTP

class ToTPTP a where

Methods

toTPTP :: a -> ShowS

Convert to TPTP

Instances

ToTPTP V

ToTPTP AtomicWord

ToTPTP GTerm

ToTPTP GData

ToTPTP Role

ToTPTP UsefulInfo

ToTPTP Annotations

ToTPTP TPTP_Input

ToTPTP Quant

ToTPTP InfixPred

ToTPTP BinOp

ToTPTP [TPTP_Input]

ToTPTP a => ToTPTP (Identity a)

ToTPTP (T Identity)

ToTPTP (F Identity)

ToTPTP t => ToTPTP (Term0 t)

(ToTPTP f, ToTPTP t) => ToTPTP (Formula0 t f)

isLowerWord :: [Char] -> Bool