Haskell ATerm Library (1.4)ContentsIndex
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
readATerm :: String -> ATerm
writeATerm :: ATerm -> String
writeSharedATerm :: ATerm -> String
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