Commit 2024-09-09 21:54 645d65fc

View on Github →

refactor: deprecate StarAlgHomClass and similar as they just duplicate StarHomClass (#16591) When FunLike (and EquivLike) was unbundled from all the hom classes, it was necessary to make StarAlgHomClass (and similarly NonUnitalStarAlgHomClass and StarAlgEquivClass) and its un-starred counterparts an argument instead of extending that class. The net effect of this was that these classes became duplicates of StarHomClass with stricter type class assumptions. This PR deprecates all of these classes in favor of StarHomClass alone.

Estimated changes