|
ATermReadWrite | Portability | portable | Stability | experimental | Maintainer | joost.visser@di.uminho.pt |
|
|
|
|
|
Description |
This module is part of the ATerm library for Haskell. It contains functions
for reading and writing ATerms from and to Strings. Two ATerm formats are
supported:
- AT: plain (non-shared) textual ATerms
- TAF: shared textual ATerms
The binary ATerm format (BAF) is not supported.
Current limitations:
- BLOBS and place-holders are not supported.
- Annotations are not supported.
|
|
Synopsis |
|
|
|
Documentation |
|
readATerm :: String -> ATerm |
Parse the given string into an ATerm. |
|
writeATerm :: ATerm -> String |
Write the given ATerm to non-shared textual representation (TXT format). |
|
writeSharedATerm :: ATerm -> String |
Write the given ATerm to fully shared textual representation (TAF format). |
|
Produced by Haddock version 0.6 |