Strafunski-ATermLib-1.6.0.3: An abstract data type designed for the exchange of tree-like data structures

Portabilityportable
Stabilityexperimental
Maintainerjoost.visser@di.uminho.pt
Safe HaskellNone

Data.ATerm.ReadWrite

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 -> ATermSource

Parse the given string into an ATerm.

writeATerm :: ATerm -> StringSource

Write the given ATerm to non-shared textual representation (TXT format).

writeSharedATerm :: ATerm -> StringSource

Write the given ATerm to fully shared textual representation (TAF format).