Este es el comando MkOneOf que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
MkOneOf: un programa auxiliar para usar con DtdToHaskell
SINOPSIS
MkOneOf norte [m]
DESCRIPCIÓN
DtdToHaskell traduce XML DTD en tipos Haskell equivalentes. Cuando hay una eleccion
entre diferentes etiquetas, DtdToHaskell utiliza tipos como OneOf2, OneOf3, OneOf4, etc.
El módulo Text.XML.HaXml.OneOfN actualmente define estos tipos hasta OneOf20. Si su DTD
requiere opciones más amplias, puede utilizar este programa para generarlas.
MkOneOf toma un entero N o un rango entero N M y escribe en la salida estándar un
Módulo Haskell con el tipo de datos OneOf respectivamenteN o los tipos de datos OneOfN hasta y
incluyendo OneOfM.
EJEMPLOS
Si ejecutamos "MkOneOf 1 2", el programa imprimirá
módulo Text.XML.HaXml.OneOfN donde
importar Text.XML.HaXml.Xml2Haskell
datos OneOf1 a
= UnoDe1 a
derivar (Eq, Show)
instancia (XmlContent a)
=> XmlContent (OneOf1 a)
donde
deElem cs =
(opción OneOf1
$ (toElem (OneOf1 x) = toElem x
----
datos OneOf2 ab
= UnoDe2 a | dos de 2 b
derivar (Eq, Show)
instancia (XmlContent a, XmlContent b)
=> XmlContent (OneOf2 ab)
donde
deElem cs =
(opción OneOf2 $ opción TwoOf2
$ (toElem (OneOf2 x) = toElem x
toElem (DosDe2 x) = toElem x
----
DERECHOS DE AUTOR
La biblioteca y las herramientas de HaXml fueron escritas por y son propiedad de
Copyright © 1998-2006 Malcolm Wallace y Colin Runciman
La biblioteca incorpora el módulo Text.ParserCombinators.HuttonMeijerWallace
Copyright © 1996 Graham Hutton y Erik Meijer
con modificaciones
Copyright © 1998 - 2000 Malcolm Wallace
y también puede utilizar o incorporar el módulo Text.PrettyPrint.HughesPJ
Copyright © 1996-1997 John Hughes y Simon Peyton Jones
La biblioteca HaXml está autorizada según los términos de la Licencia pública general reducida de GNU.
(LGPL), con la siguiente excepción especial:
Como relajación de la cláusula 6 de la LGPL, los titulares de los derechos de autor de esta biblioteca dan
permiso para usar, copiar, vincular, modificar y distribuir código objeto solo binario
versiones de un ejecutable vinculado con la Biblioteca, sin requerir el suministro de
cualquier mecanismo para modificar o reemplazar la Biblioteca y volver a vincular (cláusulas 6a, 6b, 6c, 6d,
6e), siempre que se cumplan todos los demás términos de la cláusula 6.
Las herramientas HaXml Xtract, Validate, DtdToHaskell y MkOneOf tienen licencia según los términos
de la Licencia Pública General GNU (GPL).
Esta biblioteca y conjunto de herramientas se distribuye con la esperanza de que sea útil, pero SIN
CUALQUIER GARANTÍA; incluso sin la garantía implícita de COMERCIABILIDAD o APTITUD PARA UN
PROPÓSITO PARTICULAR. Consulte las Licencias GNU para obtener más detalles.
Utilice MkOneOf en línea utilizando los servicios de onworks.net
