on master help sign in
sinh, cosh, tanh
e27f212Andy Morris
lib/Prelude.idr+9
@@ -178,6 +178,15 @@ atan x = prim__floatATan x
178atan2 : Float -> Float -> Float
178atan2 : Float -> Float -> Float
179atan2 y x = atan (y/x)
179atan2 y x = atan (y/x)
180
180
181+sinh : Float -> Float
182+sinh x = (exp x - exp (-x)) / 2
183+
184+cosh : Float -> Float
185+cosh x = (exp x + exp (-x)) / 2
186+
187+tanh : Float -> Float
188+tanh x = sinh x / cosh x
189+
181sqrt : Float -> Float
190sqrt : Float -> Float
182sqrt x = prim__floatSqrt x
191sqrt x = prim__floatSqrt x
183
192