Skip to content

XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it

License

Notifications You must be signed in to change notification settings

mgajda/xml-typelift

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Repository moved to GitLab!!!

Look at: https://gitlab.com/migamake/xml-typelift

Converting XML Schema to Haskell datatype

GitLab build: pipeline status

Travis CI: Travis (.org)

XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it.

That will allow us to easily handle large XML Schemas like Office OpenXML made by Microsoft.

It is part of DataHaskell initiative on type providers in Haskell.

Team

  • Michal - works on this
  • Kevin - made initial explorations in the playground/, now retired from the project.
  • Dima Krylov - many contributions, including benchmarks, no longer works on this

How?

  • XML Schema parser:
    • Xeno.DOM - is much faster than other XML parsers, and pure Haskell
      • we added enhanced error reporting as part of the project
      • we plan to add the following too:
        • namespace support
        • XML fragment parsing
  • We will use Haskell code generation like json-autotype
  • Sample schemas will be put into test/ directory

xml-typelift-cli utility

xml-typelift-cli is a CLI to XML Typelift functions. It is allow to generate parser and types for XML files by XML Schema.

To build this utility run

stack build xml-typelift:exe:xml-typelift-cli

You can view supported command line arguments as usual by running xml-typelift-cli --help (or using stack: stack run -- xml-typelift-cli --help`):

XML Typelift command line interface

Usage: xml-typelift-cli [--version] --schema FILENAME [--types]
  Generates types and parser for XML files by XML schema (.xsd) files

Available options:
  -h,--help                Show this help text
  --version                Show version
  --schema FILENAME        Path to XML schema (.xsd file)
  --types                  Generate types only

So to generate parser for XML Schema your_schema.xsd you can run xml-typelift-cli --schema your_schema.xsd and parser and auxiliary types will be output to stdout. Also you can get only types (without parser) by running xml-typelift-cli --schema your_schema.xsd --types.

About

XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published