ATerm.ReadWrite

convert ATermTables (created by ATerm.Conversion.toATermTable) from Strings and to SDocs as shared (TAF format) or unshared (AT format). Indices (following hash marks) are base64 encoded.

read shared or unshared ATerms

readATerm :: String -> ATermTable

create an ATerm table from an input string. Shared or unshared ATerms can be read. A string for shared ATerms usually starts with an exclamation mark and contains many hash marks indicating references. Unshared ATerms are plain constructor terms.

readATermFile :: FilePath -> IO ATermTable

writing out shared ATerms (use these functions for serialization)

writeSharedATerm :: ATermTable -> String

writeSharedATermFile :: FilePath -> ATermTable -> IO ()

writing out unshared ATerms (just for compatibility purposes)

writeATerm :: ATermTable -> String

writeATermFile :: FilePath -> ATermTable -> IO ()

support different renderings via SDoc

writeSharedATermSDoc :: ATermTable -> SDoc

writeATermSDoc :: ATermTable -> SDoc