IdrisDoc: Prelude.DoublesPrelude.Doubles
- tanh : Double ->
Double
- tan : Double ->
Double
- sqrt : Double ->
Double
- sinh : Double ->
Double
- sin : 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