Tôi đã sử dụng HXT để chuyển đổi XML. Bây giờ tôi muốn xác thực đầu vào và đầu ra dựa vào tệp XSD.Làm cách nào để xác thực XML (thông qua tệp XSD) trong Haskell?
HXT dường như chỉ bao gồm RELAXNG và DTD validators.
Tôi không thực sự quan tâm đến việc sử dụng cái gì khác để chỉ xác thực.
Gần nhất tôi có thể nghĩ là HaXml và một số mỡ khuỷu tay: https://hackage.haskell.org/package/HaXml-1.25.3
Đặc biệt, bạn có các công cụ để phân tích XSD và để xác nhận DTD. Tuy nhiên, tôi không có một cách "out of the box" để xác nhận XSD - bạn có thể đập thông tin bạn muốn vào định dạng DTD của họ, hoặc bạn có thể nhân rộng logic xác nhận của họ với XSD được phân tích cú pháp.
Ít nhất đó là một sự khởi đầu ...
thể trùng lặp của [Có một công cụ để tạo picklers XML trong Haskell từ một XSD?] (Http://stackoverflow.com/questions/11022758/is-there -a-tool-to-generate-xml-picklers-in-haskell-from-an-xsd) –
@PaulSweatte, chính xác thì đây là bản sao? Câu hỏi mà bạn đang tham khảo là tạo ra các kiểu dữ liệu đại số và serializers/deserializers từ XSDs. Làm như vậy cũng có thể liên quan đến việc xác thực - nhưng nó là một chủ đề hoàn toàn khác. – maxschlepzig