Haskell ATerm Library (1.4)ContentsIndex
ATermAbstractSyntax
Portability portable
Stability experimental
Maintainer joost.visser@di.uminho.pt
Description
This module is part of the ATerm library for Haskell. It defines the abstract syntax of ATerms as a Haskell datatype.
Synopsis
data ATerm
= AAppl String [ATerm]
| AList [ATerm]
| AInt Integer
Documentation
data ATerm
The abstract syntax of ATerms.
Constructors
AAppl String [ATerm]Application
AList [ATerm]Lists
AInt IntegerIntegers
Instances
Read ATerm
Show ATerm
Eq ATerm
Ord ATerm
Produced by Haddock version 0.6