Code

feat: Support first order types#222

Code

Merged

Iltotore merged 5 commits intomainIltotore/iron:mainfrom feat/first-order-typesIltotore/iron:feat/first-order-typesCopy head branch name to clipboardFeb 15, 2024

+256-26

Commits

Commits on Feb 8, 2024

• feat: Add assumeAll and variants

  Iltotore

  committed
  c11a669

  Copy full SHA for c11a669

Commits on Feb 12, 2024

• feat: Add "all" refinement methods

  Iltotore

  committed
  fdbc756

  Copy full SHA for fdbc756

Commits on Feb 13, 2024

• feat: Support Cats' Functor for MapLogic

  Iltotore

  committed
  5e10a80

  Copy full SHA for 5e10a80

• feat: Support ZIO Prelude's Covariant for MapLogic

  Iltotore

  committed
  581f26b

  Copy full SHA for 581f26b

• docs: Add "Refining first order types" section

  Iltotore

  committed
  7d83d1f

  Copy full SHA for 7d83d1f