Code

Add RuntimeConstraint#175

Code

Merged

Iltotore merged 9 commits intoIltotore:mainIltotore/iron:mainfrom kyri-petrou:runtime-constraintkyri-petrou/iron:runtime-constraintCopy head branch name to clipboardSep 28, 2023

+59-42

Commits

Commits on Sep 19, 2023

• POC for RuntimeConstraint

  kyri-petrou

  committed
  53ad033

  Copy full SHA for 53ad033

Commits on Sep 21, 2023

• Use RuntimeConstraint in zio/cats newtypes

  kyri-petrou

  committed
  fd7e919

  Copy full SHA for fd7e919

Commits on Sep 22, 2023

• Remove inlining where not necessary

  kyri-petrou

  committed
  e2d9ca8

  Copy full SHA for e2d9ca8

Commits on Sep 24, 2023

• PR comments

  kyri-petrou

  committed
  e0e0bdd

  Copy full SHA for e0e0bdd

• Avoid auto-deriving when implicit exists

  kyri-petrou

  committed
  ea590ff

  Copy full SHA for ea590ff

• PR comments

  kyri-petrou

  committed
  6728342

  Copy full SHA for 6728342

• Make rtc a val

  kyri-petrou

  committed
  76efae0

  Copy full SHA for 76efae0

Commits on Sep 25, 2023

• Inline RuntimeConstraint given

  kyri-petrou

  committed
  b5d4ba9

  Copy full SHA for b5d4ba9

Commits on Sep 28, 2023

• Add scaladoc for RuntimeConstraint

  kyri-petrou

  committed
  1538ffa

  Copy full SHA for 1538ffa