on master help sign in
Merge pull request #284 from andy-morris/hyptrig

sinh, cosh, tanh

commit4bb701bb47d5687326e6c81249859b3b597f96f0 authorEdwin Brady <edwin.brady@gmail.com> dateWed 24 Apr 2013, 03:44 (14 years ago) parente7b435ae27f212
1 file changed+9
lib/Prelude.idr+9
lib/Prelude.idr+9
@@ -178,6 +178,15 @@ atan x = prim__floatATan x
178178atan2 : Float -> Float -> Float
179179atan2 y x = atan (y/x)
180180
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+
181190sqrt : Float -> Float
182191sqrt x = prim__floatSqrt x
183192