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.AbstractSyntax

Description

This module is part of the ATerm library for Haskell. It defines the abstract syntax of ATerms as a Haskell datatype.

Synopsis

Documentation

data ATerm Source

The abstract syntax of ATerms.

Constructors

AAppl String [ATerm]

Application

AList [ATerm]

Lists

AInt Integer

Integers

Instances