[Haskell-cafe] Use Haskell to extract GXL representation

[Santoemma Enrico]

Sara,

I've used extensively HaXml and the tool DtdToHaskell to do xml processing.

HaXml marshalls/demarshalls xml data and DtdToHaskell creates the "data" statements to handle xml in haskell fashion.
I learnt how to write a palatable DTD for the delicate DtdToHaskell, but in your case I guess you're not the dtd's author.

It's very simple, once everything is setup:

import MYDTD

myXml :: String -> IO MYDTD
myXml fileName = return $ fReadXml fileName 

where MYDTD.hs is the output of:
$ DtdToHaskell MYDTD.dtd MYDTD.hs

Feel free to ask if you'll have troubles with DtdToHaskell. I remember I fought a lot :)

Salus,
Enrico

> -----Messaggio originale-----
> Da: haskell-cafe-bounces at haskell.org
> [mailto:haskell-cafe-bounces at haskell.org]Per conto di Sara Kenedy
> Inviato: sabato 17 settembre 2005 3.11
> A: Haskell-Cafe at haskell.org
> Oggetto: [Haskell-cafe] Use Haskell to extract GXL representation
> 
> 
> Dear you all,
> 
> 
> Currently, I am working with Haskell and GXL file (Graph 
> eXchange Language). GXL
> is  a sublanguage of XML and  its syntax is based on XML DTD.
> 
> 1) In my work, I use GXL representation to represent a quantification
> (e.g. forall(x:Z|x = 3 and x^2 - 3x + 2 =0))
> 
> 2) My objective is to write a Haskell module to extract the content of
> the GXL file such that a prover theorem (e.g, ICS) and a computer
> algebra system (e.g, Matlab) can read the content of GXL file.
> 
> If any of you have experiences or any ideas about the problem, please
> share with me.
> 
> I really appreciate for that.Thanks a lot.
> 
> Sara.
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>