From: Florent Monnier <fmonnier at linux-nantes.fr.eu.org>
Organization: l'Association Linux-Nantes
To: lablgtk at math.nagoya-u.ac.jp
Subject: GTK-tree
Date: Tue, 14 Mar 2006 08:58:40 +0100
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Message-Id: <200603140858.41040.fmonnier at linux-nantes.fr.eu.org>
Content-Type: text/plain;
  charset="us-ascii"
Content-Length: 396

Hi,

I would like to know if it is possible (and how) to use a GTK-tree to
represent a functional data structure ?

For example this kind of data structure:
type 'a tree =
 | Leaf of 'a
 | Node of 'a * 'a tree * 'a tree

I would like that every cell of the gtk-tree to represent one Node (or one
Leaf) of the tree.
And I would like that the user can modify the 'a data of each node.

-- 
thanks