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