logic-TPTP-0.2.0: Import, export etc. for TPTP, a syntax for first-order logic
Source code
Contents
Index
Codec.TPTP.Import
Documentation
parse
::
String
-> [
TPTP_Input
]
Source
parseFile
::
FilePath
->
IO
[
TPTP_Input
]
Source
data
Token
Source
Constructors
LP
RP
Comma
Dot
Lbrack
Rbrack
Oper
String
SingleQuoted
String
DoubleQuoted
String
DollarWord
String
DollarDollarWord
String
UpperWord
String
LowerWord
String
Star
Plus
Rangle
SignedInt
Int
UnsignedInt
Int
Real
Double
CommentToken
String
Instances
Eq
Token
Ord
Token
Show
Token
Produced by
Haddock
version 2.4.2