Code

Opt in auto derivation#1967

Code

Merged

jatcwang merged 4 commits intomaintypelevel/doobie:mainfrom opt_in_derivationtypelevel/doobie:opt_in_derivationCopy head branch name to clipboardDec 20, 2023

+691-365

Commits

Commits on Aug 31, 2022

• Opt in auto derivation

  Show description for c6a8a10
  guymers

  committed
  c6a8a10

  Copy full SHA for c6a8a10

Commits on Dec 19, 2023

• Merge remote-tracking branch 'origin/main' into opt_in_derivation

  Show description for a412d2b
  jatcwang

  committed
  a412d2b

  Copy full SHA for a412d2b

• add explicit names for givens for easier binary compatibility

  jatcwang

  committed
  a89b100

  Copy full SHA for a89b100

Commits on Dec 20, 2023

• Fix compile errors and assert compile error is "implicit not found"

  jatcwang

  committed
  001b0f1

  Copy full SHA for 001b0f1