logic-TPTP-0.2.0: Import, export etc. 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
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
Source
Produced by
Haddock
version 2.4.2