Cubesoup / demutualize

Thing that translates systems of mutually recursive types into systems of recursive types that are not mutually recursive.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

I've set this up as a stack project, so to build it you have to:

  • have 'stack' installed
  • clone this repository
  • run 'stack build' in the directory that creates

This should ensure you have all the dependencies. The process builds an executable, but it doesn't do anything yet. The two interesting parts are in src/Parser.hs (the parser) and src/Stuff.hs (everything else). To see it go load Stuff.hs with 'stack ghci', and run one of the examples via 'runExample '. The included examples are named 'treeForest', 'fgh', 'onlyList' and 'multi'.

About

Thing that translates systems of mutually recursive types into systems of recursive types that are not mutually recursive.

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Haskell 100.0%