IdrisDoc: Prelude.Doubles

Prelude.Doubles

tanh : Double -> Double
tan : Double -> Double
sqrt : Double -> Double
sinh : Double -> Double
sin : Double -> Double
pow : Double -> Double -> Double
pi : Double
log : Double -> Double
floor : Double -> Double
exp : Double -> Double
euler : Double
cosh : Double -> Double
cos : Double -> Double
ceiling : Double -> Double
atan2 : Double -> Double -> Double
atan : Double -> Double
asin : Double -> Double
acos : Double -> Double