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

Safe Haskell	Safe-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

Instances

Eq Token
Ord Token
Show Token