haskell-foundation
Number things are a bit wonky
subtract is not flip (-).
^^ seems a little redundant normally to me, and especially in this new world.
I'm not sure about subtract overall; probably make sense not to export, I have never use it before..
for the power functions, it currently is a bit tricky. I don't think it's possible to get away from exposing the different ones.
Subtract is useful to get around -1 which is both the subtraction section and an Int literal. It's worth having and should match -.
For power, I rarely use any and the Haskell ones confuse me. But I don't really have and strong opinion.
Just removed subtract, never used, and seems completely trivial to write where needed
I agree about power, need to refine the type and make it less confusing.
I hope we can use this issue for a general discussion on Number. (Starting another issue seems wrong.)
In Foundation things are generally named as they are in Prelude: String, Eq, Array, etc. Yet Number is not Num. What's the reason for this? I find it a bit odd.
I know Number is not exactly Num, but Foundation.String is not exactly Prelude.String either.
I'm open to suggestion and discussion on everything, but one of the reason why it's not Num is sadly Prelude.Num has to leak through foundation because a numeric literal is typed as a Prelude.Num a. This is why there's now Number so that Num can be present too.