logic-TPTP-0.3.0.2: Import, export etc. for TPTP, a syntax for first-order logic

Safe HaskellSafe-Infered

Codec.TPTP.Import

Documentation

parse :: String -> [TPTP_Input]Source

parseFile :: FilePath -> IO [TPTP_Input]Source

parseWithComment :: String -> [TPTP_Input_C]Source

parseWithCommentFile :: FilePath -> IO [TPTP_Input_C]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 Integer 
UnsignedInt Integer 
Real Rational 
CommentToken String 
Slash 

Instances