Sto già usando HXT per trasformare XML. Ora voglio convalidare l'input e l'output su un file XSD.Come convalidare XML (tramite un file XSD) in Haskell?
HXT sembra includere solo RELAXNG e DTD validators.
Non mi interessa davvero usare qualcos'altro solo per la convalida.
Il più vicino che posso pensare è HaXml e un po 'di olio di gomito: https://hackage.haskell.org/package/HaXml-1.25.3
In particolare, si dispone di strumenti per analizzare XSD e DTD per convalidare. Tuttavia, non c'è un modo "pronto all'uso" per convalidare XSD - potrebbe essere possibile distruggere le informazioni desiderate nel loro formato DTD, oppure è possibile replicare la loro logica di validazione rispetto all'XSD analizzato.
Almeno questo è un inizio ...
possibile duplicato del [Esiste uno strumento per generare serializzatori XML in Haskell da un XSD?] (Http://stackoverflow.com/questions/11022758/is-there -a-tool-to-generate-xml-picklers-in-haskell-da-an-xsd) –
@PaulSweatte, esattamente come dovrebbe essere un duplicato? La domanda a cui si fa riferimento riguarda la generazione di tipi di dati algebrici e serializzatori/deserializzatori dagli XSD. Ciò potrebbe comportare anche la convalida - ma è un argomento completamente diverso. – maxschlepzig