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.