tpdb-1.3.3: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.Input.Memory

Description

read benchmark from in-memory data (e.g., from a ByteString)

Synopsis

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)