IdrisDoc: Prelude.Doubles

Prelude.Doubles

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