logic-TPTP-0.6.0.0: Import, export etc. for TPTP, a syntax for first-order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

Instances details
Show Token Source # 
Instance details

Defined in Lexer

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

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 #