Jacques Carette
Jacques Carette
To me the trickiest part is that we don't have good access to 'the community', i.e. those people who use `stdlib`, especially the ones who try to use it as...
I guess this would push towards naming the first one simply `map`? Except that `Data.Product.Base` already has such a thing, and it is much less dependent. My feeling is that...
Thanks - these are all great suggestions. (The `h i` actually come from me cutting and pasting from elsewhere in `stdlib`, but I'll accept the blame for not relabeling). Will...
A known, thorny issue: finding things in stdlib is very hard.
As I said on #2348 : it makes sense for the constructions to be in `Construct` but the definitions of the structure shouldn't be in the same place. Will `Wreath`...
Good, I think this is converging to a design: indeed `WreathProduct` is a construction and so `Construct` is a great home for it. Yes, having a pointwise product construction would...
Indeed it does.
`isTrue` seems sensible.
Until I hear at least one more opinion, I'm going to leave it as `decToMaybe`. I do agree its name should change!
I'm fine with renaming it, and `isYes` is indeed not the best name either. But I must say that I hate `dec⇒weaklyDec`. The `dec⇒` part is fine, it's the `weaklyDec`...