Desireable properties of a new file format

  • Text format:
    • readable by small scripts written in any language without the need for a special library
    • readable by a Haskell program or library (e.g Haddock or the Haddock API)
    • readable by humans
  • Contains all doc strings, Haddock options, etc. in the present format.
  • Contains all declarations that make up the *interface* of the modules
    • i.e, it contains actual Haskell syntax, contrary to the present format
    • i.e, you don't need to load .hi files to get the declarations of the interface