Merge pull request #3878 from clayrat/patch-4
add Prelude.Doubles.pow
commite581aa3344ce35e065d50d2896c35be0f585e2d7
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 1 Jul 2017, 20:23 (9 years ago)
parent89c953adb7d6ca
libs/prelude/Prelude/Doubles.idr+3
@@ -21,6 +21,9 @@ exp x = prim__floatExp x
2121log : Double -> Double
2222log x = prim__floatLog x
2323
24+pow : Double -> Double -> Double
25+pow x y = exp (y * log x)
26+
2427sin : Double -> Double
2528sin x = prim__floatSin x
2629