logic-TPTP-0.1: Import, export and other utilities for TPTP, a syntax for first-order logic Source code Contents Index

Codec.TPTP.Export

Synopsis

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

Documentation

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

Convenient wrapper for toTPTP

class ToTPTP a where Source

Methods toTPTP :: a -> ShowS Source Convert to TPTP Instances ToTPTP AtomicWord ToTPTP GTerm ToTPTP GData ToTPTP Role ToTPTP UsefulInfo ToTPTP SourceInfo ToTPTP TPTP_Input ToTPTP Quant ToTPTP InfixPred ToTPTP BinOp ToTPTP Term ToTPTP Formula ToTPTP ([] TPTP_Input) ToTPTP t => ToTPTP (Term0 t) (ToTPTP f, ToTPTP t) => ToTPTP (Formula0 t f)

isLowerWord :: [Char] -> Bool Source

Produced by Haddock version 2.4.2