logic-TPTP-0.1: Codec/TPTP/Import.hs

{-# OPTIONS -fwarn-missing-signatures #-}

module Codec.TPTP.Import(parse,parseFile
                        ,Token(..)) where
    

import Lexer
import Parser
import Codec.TPTP.Base
   

    
parse :: String -> [TPTP_Input]
parse = parseTPTP . map snd . alexScanTokens
        
        
parseFile :: FilePath -> IO [TPTP_Input]
parseFile x = parse `fmap` readFile x