Skip to content

Enable PlutusTx.Eq code generation plus massive Nix flake-partsify effort #114

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 13 commits into from
Oct 17, 2023

Conversation

bladyjoker
Copy link
Contributor

@bladyjoker bladyjoker commented Oct 14, 2023

Closes #87 #110

This was a lot! @szg251 find it in your heart to forgive me for this PR 🙏

DONE:

  • Enabled generation of PlutusTx.Eq.Eq class implementations.
  • Reworked the config lbg argument to be mergeable (Semigroup <> basically).
  • flake-parts-ified the repo entirely.
  • Reworked the lbf-nix to make it more robust.
  • Added deadnix.

TODO:

  • Update documentation to reflect to new tools (cc @jaredponn).
  • Make doc chapter on 'Development' (updating, settings.nix, pre-commit.nix, pkgs.nix, hercules.nix etc).
  • Implement lbf-prelude-to-purescript and lbf-plutus-to-purescript clis.
  • Implement devShells with PlutusTx, CTL and other environments such that users can conveniently play with lbf-prelude... and lbf-plutus... clis.
  • Configure nil Nix language server.

@bladyjoker bladyjoker self-assigned this Oct 14, 2023
@bladyjoker bladyjoker added enhancement New feature or request codegen devops All things devops (Nix, language servers, editors, code quality etc) labels Oct 14, 2023
@bladyjoker bladyjoker marked this pull request as draft October 14, 2023 19:55
@bladyjoker bladyjoker linked an issue Oct 16, 2023 that may be closed by this pull request
@bladyjoker bladyjoker marked this pull request as ready for review October 16, 2023 14:30
@bladyjoker bladyjoker requested a review from szg251 October 16, 2023 14:30
@bladyjoker bladyjoker mentioned this pull request Oct 17, 2023
6 tasks
@bladyjoker bladyjoker added this pull request to the merge queue Oct 17, 2023
Merged via the queue into main with commit c1323f3 Oct 17, 2023
@bladyjoker bladyjoker deleted the bladyjoker/plutustx-flakeparts branch October 17, 2023 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
codegen devops All things devops (Nix, language servers, editors, code quality etc) enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Moving all Haskell and PureScript packages to flake modules
2 participants