| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TPDB.Input.Memory
Description
read benchmark from in-memory data (e.g., from a ByteString)
Synopsis
- get :: String -> Text -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier)))
Documentation
get :: String -> Text -> 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)