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

Strict semiauto derivation for Scala 3 #626

Merged
merged 27 commits into from
Jan 7, 2024

Commits on Jan 3, 2024

  1. Configuration menu
    Copy the full SHA
    e0a9a22 View commit details
    Browse the repository at this point in the history
  2. Strict derivation for Hash

    joroKr21 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    dc14d0e View commit details
    Browse the repository at this point in the history
  3. Strict derivation for Empty

    joroKr21 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    64441d8 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e6e2f15 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    5f0a0d1 View commit details
    Browse the repository at this point in the history
  6. Strict derivation for Order

    joroKr21 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    42a78b8 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    ea8ecd3 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    c7edde6 View commit details
    Browse the repository at this point in the history
  9. Deprecate nameless givens

    joroKr21 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    76ae641 View commit details
    Browse the repository at this point in the history
  10. Strict derivation for Show

    joroKr21 committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    f26eb06 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    cc70a4a View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    f88f900 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. Configuration menu
    Copy the full SHA
    ac996e2 View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2024

  1. Configuration menu
    Copy the full SHA
    bf05219 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    125907c View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2024

  1. Strict derivation for Pure

    joroKr21 committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    8988ea4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    63adddc View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9b57ab6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a0ff7e4 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    9cfde46 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    4e35345 View commit details
    Browse the repository at this point in the history
  7. Strict validation for Apply

    joroKr21 committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    f7341a3 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    6a417a0 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    e3277d9 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    e0641b4 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    93b2e92 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    7845b98 View commit details
    Browse the repository at this point in the history