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

Safe HaskellNone
LanguageHaskell98

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
Eq Token Source # 
Instance details

Defined in Lexer

Methods

(==) :: Token -> Token -> Bool #

(/=) :: Token -> Token -> Bool #

Ord Token Source # 
Instance details

Defined in Lexer

Methods

compare :: Token -> Token -> Ordering #

(<) :: Token -> Token -> Bool #

(<=) :: Token -> Token -> Bool #

(>) :: Token -> Token -> Bool #

(>=) :: Token -> Token -> Bool #

max :: Token -> Token -> Token #

min :: Token -> Token -> Token #

Show Token Source # 
Instance details

Defined in Lexer

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #