jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.TPTP.Parse

Documentation

parseString :: String -> IO (Problem Form) Source #

parseProblem :: [FilePath] -> FilePath -> IO (Either String (Problem Form)) Source #

parseProblemWith :: (FilePath -> IO (Maybe FilePath)) -> FilePath -> IO (Either String (Problem Form)) Source #