├── CONTRIBUTING.md ├── LICENSE ├── Makefile ├── README.org ├── XML ├── DOM.idr ├── DOM │ └── Eff.idr ├── Lexer.idr ├── Parser.idr ├── Serialise.idr ├── Serialise │ └── Eff.idr ├── Test │ ├── NotWellFormed.idr │ ├── WellFormed.idr │ └── XPath.idr ├── XPath.idr └── XPath │ ├── Eff.idr │ ├── Parser.idr │ ├── Query.idr │ └── Types.idr ├── utils ├── QueryDoc.idr └── querydoc.ipkg ├── xml-eff.ipkg ├── xml-test.ipkg └── xml.ipkg /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/Makefile -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/README.org -------------------------------------------------------------------------------- /XML/DOM.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/DOM.idr -------------------------------------------------------------------------------- /XML/DOM/Eff.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/DOM/Eff.idr -------------------------------------------------------------------------------- /XML/Lexer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/Lexer.idr -------------------------------------------------------------------------------- /XML/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/Parser.idr -------------------------------------------------------------------------------- /XML/Serialise.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/Serialise.idr -------------------------------------------------------------------------------- /XML/Serialise/Eff.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/Serialise/Eff.idr -------------------------------------------------------------------------------- /XML/Test/NotWellFormed.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/Test/NotWellFormed.idr -------------------------------------------------------------------------------- /XML/Test/WellFormed.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/Test/WellFormed.idr -------------------------------------------------------------------------------- /XML/Test/XPath.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/Test/XPath.idr -------------------------------------------------------------------------------- /XML/XPath.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/XPath.idr -------------------------------------------------------------------------------- /XML/XPath/Eff.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/XPath/Eff.idr -------------------------------------------------------------------------------- /XML/XPath/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/XPath/Parser.idr -------------------------------------------------------------------------------- /XML/XPath/Query.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/XPath/Query.idr -------------------------------------------------------------------------------- /XML/XPath/Types.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/XML/XPath/Types.idr -------------------------------------------------------------------------------- /utils/QueryDoc.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/utils/QueryDoc.idr -------------------------------------------------------------------------------- /utils/querydoc.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/utils/querydoc.ipkg -------------------------------------------------------------------------------- /xml-eff.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/xml-eff.ipkg -------------------------------------------------------------------------------- /xml-test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/xml-test.ipkg -------------------------------------------------------------------------------- /xml.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfdm/idris-xml/HEAD/xml.ipkg --------------------------------------------------------------------------------