Bootstrap the repo

[bladyjoker]

Hey @gnumonik, we have some goodies here I want you to check out:

1. Testing works locally, not yet in CI (noisy Spago)
2. Added code quality and assistance tools
3. Nix
4. CI
5. ToData/FromData is still untested

[gnumonik]

Do we need this? I.e. do we really expect anyone using the library to want to generate HasConstrIndices instances but not To/FromData instances?

Either way I think mkSumTypeIndexed should generate ToData/FromData instances by default. Maybe we should rename it to mkPlutusSum or something like that?

[bladyjoker]

I completely agree!

[gnumonik]

I think everything here is good. Going to merge it in a second.

[bladyjoker]

@gnumonik that's it from me today, I didn't manage to generate the instance clauses so if you can, I'd be happy if you could continue with the following:

• Turn the test green 1) buildBridge without lens-code-gen tests the generation of a CTL HasConstrIndices/ToData/FromData
• Figure out flakiness of writePSTypesWith should produce aeson-compatible argonaut instances if doable
• Merge this PR
• Introduce the (the essential) changes you have pending in your existing PRs:
  • your comments and suggestions from here
  • everything needed to actually generate HasConstrIndices, ToData, FromData
• Prepare a PR in Cardax to use the new version

We need to be able to continue user registration tomorrow, for that we need ToData/FromData instances.

Cheers,
Draz

[gnumonik]

Notes (mainly for my own benefit):

• This should finally work the way it needs to for Cardax. We now generate ToData/FromData instances.

• I'm punting on the Argonaut/spago2nix stuff for right now. The existing tests say the instances are argonaut compatible and I'm not that sure how to hook up spago2nix output to our flake. I'll come back to this later today if I have time.

• I think these changes are sufficient for us to integrate into Cardax. Actually merging now.