MkOneOf - ออนไลน์ในคลาวด์

โครงการ:

ชื่อ

MkOneOf - โปรแกรมตัวช่วยที่ใช้กับ DtdToHaskell

เรื่องย่อ

เอ็มเควันอ๊อฟ น [ม.]

DESCRIPTION

DtdToHaskell แปล XML DTD เป็นประเภท Haskell ที่เทียบเท่ากัน เมื่อมีทางเลือก
ระหว่างแท็กต่างๆ DtdToHaskell ใช้ประเภทเช่น OneOf2, OneOf3, OneOf4 เป็นต้น The
โมดูล Text.XML.HaXml.OneOfN กำหนดประเภทเหล่านี้ขึ้น OneOf20 ถ้า DTD . ของคุณ
ต้องการตัวเลือกที่มากกว่า คุณสามารถใช้โปรแกรมนี้เพื่อสร้างมันขึ้นมาได้

เอ็มเควันอ๊อฟ ใช้จำนวนเต็ม N หรือช่วงจำนวนเต็ม N M และเขียนไปยังเอาต์พุตมาตรฐาน a
โมดูล Haskell พร้อมประเภทข้อมูล OneOf . ตามลำดับN หรือประเภทข้อมูล OneOfN ถึงและ
รวมทั้ง OneOfM.

ตัวอย่าง

ถ้าเรารัน "MkOneOf 1 2" โปรแกรมก็จะพิมพ์
โมดูล Text.XML.HaXml.OneOfN โดยที่

นำเข้า Text.XML.HaXml.Xml2Haskell

ข้อมูล OneOf1
= OneOf1 ก
ที่ได้รับ (Eq,แสดง)

อินสแตนซ์ (XmlContent ก)
=> XmlContent (OneOf1 ก)
ที่ไหน
จากElem cs =
(เลือก OneOf1
$ ( toElem (OneOf1 x) = toElem x

----
ข้อมูล OneOf2 ab
= OneOf2 a | TwoOf2 ข
ที่ได้รับ (Eq,แสดง)

อินสแตนซ์ (XmlContent a,XmlContent b)
=> XmlContent (OneOf2 ab)
ที่ไหน
จากElem cs =
(เลือก OneOf2 $ เลือก TwoOf2
$ ( toElem (OneOf2 x) = toElem x
toElem (TwoOf2 x) = toElem x

----

ลิขสิทธิ์

ไลบรารีและเครื่องมือ HaXml เขียนโดยและเป็นลิขสิทธิ์ของ
ลิขสิทธิ์ © 1998 – 2006 Malcolm Wallace และ Colin Runciman

ไลบรารีรวมโมดูล Text.ParserCombinators.HuttonMeijerWallace
ลิขสิทธิ์ © 1996 Graham Hutton และ Erik Meijer

ด้วยการดัดแปลง
ลิขสิทธิ์ © 1998 – 2000 Malcolm Wallace

และอาจใช้หรือรวมโมดูล Text.PrettyPrint.HughesPJ
ลิขสิทธิ์ © 1996 – 1997 John Hughes และ Simon Peyton Jones

ไลบรารี HaXml ได้รับอนุญาตภายใต้เงื่อนไขของ GNU Lesser General Public License
(LGPL) โดยมีข้อยกเว้นพิเศษดังต่อไปนี้:

เพื่อเป็นการผ่อนคลายข้อ 6 ของ LGPL ผู้ถือลิขสิทธิ์ของห้องสมุดนี้ให้
การอนุญาตให้ใช้ คัดลอก เชื่อมโยง แก้ไข และแจกจ่าย รหัสวัตถุแบบไบนารีเท่านั้น
เวอร์ชันของไฟล์สั่งการที่เชื่อมโยงกับไลบรารี โดยไม่ต้องจัดหา
กลไกใด ๆ ในการแก้ไขหรือแทนที่ไลบรารี่และเชื่อมโยงใหม่ (ข้อ 6a, 6b, 6c, 6d,
6e) โดยมีเงื่อนไขว่าต้องปฏิบัติตามข้อกำหนดอื่นๆ ทั้งหมดของข้อ 6

เครื่องมือ HaXml Xtract, Validate, DtdToHaskell และ MkOneOf ได้รับอนุญาตภายใต้เงื่อนไข
ของใบอนุญาตสาธารณะทั่วไปของ GNU (GPL)

ห้องสมุดและชุดเครื่องมือนี้เผยแพร่โดยหวังว่าจะมีประโยชน์ แต่ไม่มี
การรับประกันใด ๆ โดยไม่มีการรับประกันโดยนัยของ MERCHANTABILITY หรือ FITNESS FOR A
วัตถุประสงค์เฉพาะ ดูใบอนุญาต GNU สำหรับรายละเอียดเพิ่มเติม

ใช้ MkOneOf ออนไลน์โดยใช้บริการ onworks.net