Code

Port contravariant to new scheme#475

Code

Merged

joroKr21 merged 15 commits intotypelevel:dottytypelevel/kittens:dottyfrom TimWSpence:port-contravariant-to-new-schemeTimWSpence/kittens:port-contravariant-to-new-schemeCopy head branch name to clipboardMay 25, 2022

+163-49

Commits

Commits on May 23, 2022

• Port SemigroupK and MonoidK to new derivation scheme

  TimWSpence

  committed
  6cca398

  Copy full SHA for 6cca398

• WIP port of SemigroupK suite to scala 3

  TimWSpence

  committed
  415df3c

  Copy full SHA for 415df3c

• Nested derivations for SemigroupK

  TimWSpence

  committed
  7f74610

  Copy full SHA for 7f74610

• Priority for derived SemigroupK given instances

  TimWSpence

  committed
  fe2b8b4

  Copy full SHA for fe2b8b4

• Port scala 2 MonoidK tests to scala 3

  TimWSpence

  committed
  84b0664

  Copy full SHA for 84b0664

• Various improvements

  Show description for a1e9750
  TimWSpence

  committed
  a1e9750

  Copy full SHA for a1e9750

Commits on May 24, 2022

• Use inline in tests

  TimWSpence

  committed
  819ab4f

  Copy full SHA for 819ab4f

• SemigroupK/MonoidK test for derives syntax

  TimWSpence

  committed
  fc2fced

  Copy full SHA for fc2fced

• Port Contravariant to new derivation scheme

  TimWSpence

  committed
  d241800

  Copy full SHA for d241800

• WIP port scala 2 Contravariant tests to scala 3

  TimWSpence

  committed
  b4aa026

  Copy full SHA for b4aa026

• Merge remote-tracking branch 'upstream/dotty' into port-contravariant-to-new-scheme

  TimWSpence

  committed
  df8aacf

  Copy full SHA for df8aacf

• Link commented out tests to issues

  TimWSpence

  committed
  813704b

  Copy full SHA for 813704b

• derives syntax tests for Contravariant

  TimWSpence

  committed
  d928cd5

  Copy full SHA for d928cd5

Commits on May 25, 2022

• derives syntax tests for Contravariant

  TimWSpence

  committed
  73d8dfa

  Copy full SHA for 73d8dfa

• Scala 3 import syntax

  TimWSpence

  committed
  fd5423b

  Copy full SHA for fd5423b