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 Bool

Tree Char

Tree Double

Tree Float

Tree Int

Tree Integer

Tree Ordering

Tree ()

Tree SourcePos

Tree Pos

Tree Source

Tree a => Tree [a]

Tree a => Tree (Maybe a)

(Tree a, Tree b) => Tree (Either a b)

(Tree a, Tree b) => Tree (a, b)

(Tree a, Tree b, Tree c) => Tree (a, b, c)

(Tree a, Tree b, Tree c, Tree d) => Tree (a, b, c, d)

(Tree a, Tree b, Tree c, Tree d, Tree e) => Tree (a, b, c, d, e)

(Tree a, Tree b, Tree c, Tree d, Tree e, Tree f) => Tree (a, b, c, d, e, f)

(Tree a, Tree b, Tree c, Tree d, Tree e, Tree f, Tree g) => Tree (a, b, c, d, e, f, g)

Parser

parser :: Component String ATerm

A Component for parsing ATerms.