Skip to content
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

Add tests for all derived instances #516

Merged
merged 29 commits into from
Sep 13, 2022
Merged

Commits on Sep 13, 2022

  1. Simplify ApplicativeSuite

    joroKr21 committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    7a4ba0b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fe6afce View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    287eebd View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    24acf9d View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    fcb642d View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    790fce5 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    0e0fdf2 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    89391f8 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    a8ada28 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    338d3d2 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    8d649f6 View commit details
    Browse the repository at this point in the history
  12. Remove large ADT definitions

    joroKr21 committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    0a13d78 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    02886eb View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    bc1ede4 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    0ffbf9f View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    6d11ce9 View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    4409e85 View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    2ddb032 View commit details
    Browse the repository at this point in the history
  19. Configuration menu
    Copy the full SHA
    fa4ca48 View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    43992b3 View commit details
    Browse the repository at this point in the history
  21. Configuration menu
    Copy the full SHA
    171073c View commit details
    Browse the repository at this point in the history
  22. Configuration menu
    Copy the full SHA
    02f00dd View commit details
    Browse the repository at this point in the history
  23. Configuration menu
    Copy the full SHA
    8b100ae View commit details
    Browse the repository at this point in the history
  24. Configuration menu
    Copy the full SHA
    17e9f0f View commit details
    Browse the repository at this point in the history
  25. Configuration menu
    Copy the full SHA
    1b0e8c7 View commit details
    Browse the repository at this point in the history
  26. Configuration menu
    Copy the full SHA
    321def5 View commit details
    Browse the repository at this point in the history
  27. Configuration menu
    Copy the full SHA
    ac34f89 View commit details
    Browse the repository at this point in the history
  28. Configuration menu
    Copy the full SHA
    5acedf0 View commit details
    Browse the repository at this point in the history
  29. Simplify DerivedShowPretty

    joroKr21 committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    79d9e22 View commit details
    Browse the repository at this point in the history