Fuse unionWith and checkBinRel in PlutusLedgerApi.V1.Data.Value - #7799

Merged

Unisay merged 6 commits into

yura/issue-2243-fused-unionwith-impl

Jun 18, 2026

Commits on Jun 18, 2026

Fuse unionWith and checkBinRel in V1.Data.Value
Unisay
committed
cea3fe4
Refresh GHC 9.12 gt / geq budget goldens after checkBinRel rewrite
Unisay
committed
b7e3a5a
Make the unionWith property test differential against the builtin
Unisay
committed
dac80e8
Correct the unionWith fusion wording
Unisay
committed
f00a356
Clarify checkBinRel short-circuit wording in changelog
Unisay
committed
a02cdbb
Trim changelog to the exported unionWith change
Unisay
committed
4a69249