CCO.Tree

A straightforward implementation of the ATerm format for exchanging tree-structured data; see

• Mark van den Brand, Hayco de Jong, Paul Klint, and Pieter A. Olivier. Efficient annotated terms. Software - Practice and Experience (SPE), 30(3):259-291, 2000.

The ATerm type

data ATerm

Terms.

Constructors

Integer Integer

Integer literal.

Float Double

Floating-point literal.

String String

Textual literal.

App Con [ATerm]

Constructor application.

Tuple [ATerm]

Tuple of terms.

List [ATerm]

List of terms.

Ann ATerm [ATerm]

Annotated term.

Instances

Eq ATerm

Read ATerm

Show ATerm

Printable ATerm

type Con = String

Node constructors.

The Tree class

class Tree a where

The Tree class. Instances provide conversions between tree-structured data and the ATerm format.

A minimal complete defintion must supply the methods fromTree and toTree.

Methods

fromTree

Arguments

:: a

-> ATerm

Retrieves an ATerm from a Tree.

toTree

Arguments

:: ATerm

-> Feedback a

Attempts to retrieve a Tree from an ATerm.

Instances

Tree SourcePos

Tree Pos

Tree Source

Parser

parser :: Component String ATerm

A Component for parsing ATerms.