Safe Haskell | None |
---|---|
Language | Haskell98 |
read benchmark from in-memory data (e.g., from a ByteString)
- get :: String -> ByteString -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier)))
Documentation
get :: String -> ByteString -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier))) Source #
first argument is file name, second argument is file contents. first arg. is needed to pick the proper parser (SRS, TRS, XTC)