| Safe Haskell | None |
|---|
TPDB.Input
- get :: FilePath -> IO (Either (TRS Identifier Identifier) (SRS Identifier))
- getE :: [Char] -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier)))
- get_trs :: FilePath -> IO (TRS Identifier Identifier)
- getE_trs :: [Char] -> 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.
getE :: [Char] -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier)))Source
get_trs :: FilePath -> IO (TRS Identifier Identifier)Source
getE_trs :: [Char] -> IO (Either String (TRS Identifier Identifier))Source