This originally came out of a discussion in https://github.com/ekmett/semigroupoids/issues/130, which discusses some additional changes to bifunctors needed for the benefit of a future foldable1-classes-compat package. In particular, we wish to split out the Data.Bifunctor, Data.Bifoldable, and Data.Bitraversable modules from bifunctors into a more minimal bifunctor-classes-compat package with fewer dependencies, and then have bifunctors re-export these modules. There is one catch: cabal's reexported-modules feature only supports GHC 7.10 and later. As a result, we have decided that this is as good of a time as any to drop pre-8.0 support in bifunctors, which is perhaps overdue as it is.
Note that this really only matters for the 5 branch of bifunctors. The main branch only support GHC 8.6 and later, so none of these changes would apply to that branch.
RyanGlScott
commented
1 year ago
This originally came out of a discussion in https://github.com/ekmett/semigroupoids/issues/130, which discusses some additional changes to
bifunctorsneeded for the benefit of a futurefoldable1-classes-compatpackage. In particular, we wish to split out theData.Bifunctor,Data.Bifoldable, andData.Bitraversablemodules frombifunctorsinto a more minimalbifunctor-classes-compatpackage with fewer dependencies, and then havebifunctorsre-export these modules. There is one catch:cabal'sreexported-modulesfeature only supports GHC 7.10 and later. As a result, we have decided that this is as good of a time as any to drop pre-8.0 support inbifunctors, which is perhaps overdue as it is.Note that this really only matters for the
5branch ofbifunctors. Themainbranch only support GHC 8.6 and later, so none of these changes would apply to that branch.