X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FXml.hs;h=96ba0116e184986b7b0a1942a5d96c002eb860db;hb=9fff5c185dd7a2c8655815f36b72736d61401e41;hp=dfb6d055ac0e297b94d42d92eff810e1464d42ec;hpb=da0885d061b23f99a6c9d24b6b823c4654893d9c;p=dead%2Fhtsn-import.git diff --git a/src/Xml.hs b/src/Xml.hs index dfb6d05..96ba011 100644 --- a/src/Xml.hs +++ b/src/Xml.hs @@ -3,6 +3,7 @@ -- | General XML stuff. -- module Xml ( + DtdName(..), ToFromXml(..), parse_opts, pickle_unpickle ) @@ -59,6 +60,11 @@ class ToFromXml a where from_xml_fk :: AutoKey (Container a) -> Xml a -> a from_xml_fk _ = from_xml + +-- | Represents the DTD filename ("SYSTEM") part of the DOCTYPE +-- definition. +newtype DtdName = DtdName String + -- | A list of options passed to 'readDocument' when we parse an XML -- document. We don't validate because the DTDs from TSN are -- wrong. As a result, we don't want to keep useless DTDs