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