Is exponentiation defined for integral types?

[ornamentist]

I'd like to be able to raise Integer values to a positive Integer power.

I think there's an Exponentiable typeclass which is not suitable for integral types? Ther seems to be current discussion around whether expt, pow or ** are suitable function names for exponentiation?

Will any of these deliberations eventually apply to integral types?

[stylewarning]

How about ^, or ^^ if you want to raise to negative powers?

Admittedly the current state of affairs might seem a little confusing. I started writing a guide to the math functions and classes of Coalton but haven't finished it.

[ornamentist]

I'm happy to use whatever the Coalton developers recommend for this. I'll try ^ and ^^.

[ornamentist]

FWIW: When working with Haskell-derived languages and creating mathematical structures, I found this guide useful: https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/introduction.html