Skip to content

Conversation

@ddssff
Copy link
Collaborator

@ddssff ddssff commented Jul 20, 2023

These are safecopy equivalents of functions from Data.Serialize. Useful for eliminating remaining uses of the Serialize constraint.

@ddssff ddssff requested a review from stepcut July 20, 2023 18:24
ddssff added 27 commits March 14, 2024 13:22
rather than the type's Name.  These cases don't yet work.
  constraints for different types.
* Add an argument to the internal derive functions to pass
  a value which will be used by extraContext.
* Add a test case that shows deriving SafeCopy for a type rather
  than a type name, and supplying extra context for the instance.
* Rename worker1 -> doCons
* Generate SafeCopy constraints for all fields of all constructors
  rather than for each type variable
* Add a module with Types used for testing
* Add more unit tests
* Handle type applications (AppT, sort of)
* Handle type variables (VarT, sort of)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant