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