Extracting type metadata from Elm code?

I’m considering it.
Especially because I finally managed to have the API I wanted all along:
https://ellie-app.com/9Z34Xrhwm7Xa1

You can tell this is the “correct” API because the types are finally symmetric and clean.

Nontrivial insights I had to find:

  1. The type of prettyPrinter inside the UrlCodec / how to implement int;
  2. the implementation of prettyPrinter inside variant.

The rest is basically all blindly solving the type puzzle.

4 Likes