Reach the uninhabited value side, split the folds, and compare packs - #383

Merged

Bronek merged 9 commits into

mainfrom

bronek/minor_0.1_cleanup

Jul 25, 2026

Commits on Jul 25, 2026

Add the expected_unit type alias
Bronek
committed
bd881b5
Admit an uninhabited value side in the value-side verbs
Bronek
committed
ddee80b
Admit a void value side in value_or
Bronek
committed
d449124
Refuse carriers in the conjoin data fold
Bronek
committed
168c6c9
Fold carriers in conjoin and restrict disjoin to them
Bronek
committed
0c29f15
Merge branch 'main' into bronek/minor_0.1_cleanup
Bronek
committed
4f00688
Compare packs element by element
Bronek
committed
9ff0f10
Add a CHANGELOG entry for #380
Bronek
committed
f6b4430
Refuse a pack ordering with no common comparison category
Bronek
committed
b66c477