| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TPDB.Input.File
Synopsis
- get :: FilePath -> IO (Either (TRS Identifier Identifier) (SRS Identifier))
- getE :: FilePath -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier)))
- get_trs :: FilePath -> IO (TRS Identifier Identifier)
- getE_trs :: FilePath -> IO (Either String (TRS Identifier Identifier))
- get_srs :: FilePath -> IO (SRS Identifier)
Documentation
get :: FilePath -> IO (Either (TRS Identifier Identifier) (SRS Identifier)) Source #
read input from file with given name. can have extension .srs, .trs, .xml. unknown extension is considered as .xml, because of http://starexec.forumotion.com/t60-restore-file-extension-for-renamed-benchmarks
getE :: FilePath -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier))) Source #
get_trs :: FilePath -> IO (TRS Identifier Identifier) Source #
getE_trs :: FilePath -> IO (Either String (TRS Identifier Identifier)) Source #