Package frege.prelude.Math

Compiled: Wed Dec 05 00:00:12 PST 2012 from source file: frege/prelude/Math.fr

Package Documentation

This package mirrors the content of java.lang.Math For details see http://download.oracle.com/javase/7/docs/api/java/lang/Math.html Contributed by Daniel Gronau

Table of Content

Imports

Classes

class PrimitiveFloating number

Known Instances

Float, Double

Member Functions

** :: PrimitiveFloating number => number -> number -> Double
pure native java.lang.Math.pow
acos :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.acos
asin :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.asin
atan :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.atan
atan2 :: PrimitiveFloating number => number -> number -> Double
pure native java.lang.Math.atan2
cbrt :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.cbrt
ceil :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.ceil
copySign :: PrimitiveFloating number => number -> number -> number
pure native java.lang.Math.copySign
cos :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.cos
cosh :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.cosh
exp :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.exp
expm1 :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.expm1
getExponent :: PrimitiveFloating number => number -> Int
pure native java.lang.Math.getExponent
hypot :: PrimitiveFloating number => number -> number -> Double
pure native java.lang.Math.hypot
ieeeRemainder :: PrimitiveFloating number => number -> number -> Double
pure native java.lang.Math.IEEEremainder
log :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.log
log10 :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.log10
log1p :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.log1p
nativeAbs :: PrimitiveFloating number => number -> number
pure native java.lang.Math.abs
nativeFloor :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.floor
nativeMax :: PrimitiveFloating number => number -> number -> number
pure native java.lang.Math.max
nativeMin :: PrimitiveFloating number => number -> number -> number
pure native java.lang.Math.min
nextAfter :: PrimitiveFloating number => number -> number -> number
pure native java.lang.Math.nextAfter
nextUp :: PrimitiveFloating number => number -> number
pure native java.lang.Math.nextUp
pow :: PrimitiveFloating number => number -> number -> Double
pure native java.lang.Math.pow
rint :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.rint
round :: PrimitiveFloating number => number -> Long
pure native java.lang.Math.round
scalb :: PrimitiveFloating number => number -> Int -> number
pure native java.lang.Math.scalb
signum :: PrimitiveFloating number => number -> number
pure native java.lang.Math.signum
sin :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.sin
sinh :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.sinh
sqrt :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.sqrt
tan :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.tan
tanh :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.tanh
toDegrees :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.toDegrees
toRadians :: PrimitiveFloating number => number -> Double
pure native java.lang.Math.toRadians
ulp :: PrimitiveFloating number => number -> number
pure native java.lang.Math.ulp

Instances

instance PrimitiveFloating Double

Member Functions

** :: Double -> Double -> Double
pure native java.lang.Math.pow

inherited from PrimitiveFloating.**

acos :: Double -> Double
pure native java.lang.Math.acos

inherited from PrimitiveFloating.acos

asin :: Double -> Double
pure native java.lang.Math.asin

inherited from PrimitiveFloating.asin

atan :: Double -> Double
pure native java.lang.Math.atan

inherited from PrimitiveFloating.atan

atan2 :: Double -> Double -> Double
pure native java.lang.Math.atan2

inherited from PrimitiveFloating.atan2

cbrt :: Double -> Double
pure native java.lang.Math.cbrt

inherited from PrimitiveFloating.cbrt

ceil :: Double -> Double
pure native java.lang.Math.ceil

inherited from PrimitiveFloating.ceil

copySign :: Double -> Double -> Double
pure native java.lang.Math.copySign

inherited from PrimitiveFloating.copySign

cos :: Double -> Double
pure native java.lang.Math.cos

inherited from PrimitiveFloating.cos

cosh :: Double -> Double
pure native java.lang.Math.cosh

inherited from PrimitiveFloating.cosh

exp :: Double -> Double
pure native java.lang.Math.exp

inherited from PrimitiveFloating.exp

expm1 :: Double -> Double
pure native java.lang.Math.expm1

inherited from PrimitiveFloating.expm1

getExponent :: Double -> Int
pure native java.lang.Math.getExponent

inherited from PrimitiveFloating.getExponent

hypot :: Double -> Double -> Double
pure native java.lang.Math.hypot

inherited from PrimitiveFloating.hypot

ieeeRemainder :: Double -> Double -> Double
pure native java.lang.Math.IEEEremainder

inherited from PrimitiveFloating.ieeeRemainder

log :: Double -> Double
pure native java.lang.Math.log

inherited from PrimitiveFloating.log

log10 :: Double -> Double
pure native java.lang.Math.log10

inherited from PrimitiveFloating.log10

log1p :: Double -> Double
pure native java.lang.Math.log1p

inherited from PrimitiveFloating.log1p

nativeAbs :: Double -> Double
pure native java.lang.Math.abs

inherited from PrimitiveFloating.nativeAbs

nativeFloor :: Double -> Double
pure native java.lang.Math.floor

inherited from PrimitiveFloating.nativeFloor

nativeMax :: Double -> Double -> Double
pure native java.lang.Math.max

inherited from PrimitiveFloating.nativeMax

nativeMin :: Double -> Double -> Double
pure native java.lang.Math.min

inherited from PrimitiveFloating.nativeMin

nextAfter :: Double -> Double -> Double
pure native java.lang.Math.nextAfter

inherited from PrimitiveFloating.nextAfter

nextUp :: Double -> Double
pure native java.lang.Math.nextUp

inherited from PrimitiveFloating.nextUp

pow :: Double -> Double -> Double
pure native java.lang.Math.pow

inherited from PrimitiveFloating.pow

rint :: Double -> Double
pure native java.lang.Math.rint

inherited from PrimitiveFloating.rint

round :: Double -> Long
pure native java.lang.Math.round

inherited from PrimitiveFloating.round

scalb :: Double -> Int -> Double
pure native java.lang.Math.scalb

inherited from PrimitiveFloating.scalb

signum :: Double -> Double
pure native java.lang.Math.signum

inherited from PrimitiveFloating.signum

sin :: Double -> Double
pure native java.lang.Math.sin

inherited from PrimitiveFloating.sin

sinh :: Double -> Double
pure native java.lang.Math.sinh

inherited from PrimitiveFloating.sinh

sqrt :: Double -> Double
pure native java.lang.Math.sqrt

inherited from PrimitiveFloating.sqrt

tan :: Double -> Double
pure native java.lang.Math.tan

inherited from PrimitiveFloating.tan

tanh :: Double -> Double
pure native java.lang.Math.tanh

inherited from PrimitiveFloating.tanh

toDegrees :: Double -> Double
pure native java.lang.Math.toDegrees

inherited from PrimitiveFloating.toDegrees

toRadians :: Double -> Double
pure native java.lang.Math.toRadians

inherited from PrimitiveFloating.toRadians

ulp :: Double -> Double
pure native java.lang.Math.ulp

inherited from PrimitiveFloating.ulp

instance PrimitiveFloating Float

Member Functions

** :: Float -> Float -> Double
pure native java.lang.Math.pow

inherited from PrimitiveFloating.**

acos :: Float -> Double
pure native java.lang.Math.acos

inherited from PrimitiveFloating.acos

asin :: Float -> Double
pure native java.lang.Math.asin

inherited from PrimitiveFloating.asin

atan :: Float -> Double
pure native java.lang.Math.atan

inherited from PrimitiveFloating.atan

atan2 :: Float -> Float -> Double
pure native java.lang.Math.atan2

inherited from PrimitiveFloating.atan2

cbrt :: Float -> Double
pure native java.lang.Math.cbrt

inherited from PrimitiveFloating.cbrt

ceil :: Float -> Double
pure native java.lang.Math.ceil

inherited from PrimitiveFloating.ceil

copySign :: Float -> Float -> Float
pure native java.lang.Math.copySign

inherited from PrimitiveFloating.copySign

cos :: Float -> Double
pure native java.lang.Math.cos

inherited from PrimitiveFloating.cos

cosh :: Float -> Double
pure native java.lang.Math.cosh

inherited from PrimitiveFloating.cosh

exp :: Float -> Double
pure native java.lang.Math.exp

inherited from PrimitiveFloating.exp

expm1 :: Float -> Double
pure native java.lang.Math.expm1

inherited from PrimitiveFloating.expm1

getExponent :: Float -> Int
pure native java.lang.Math.getExponent

inherited from PrimitiveFloating.getExponent

hypot :: Float -> Float -> Double
pure native java.lang.Math.hypot

inherited from PrimitiveFloating.hypot

ieeeRemainder :: Float -> Float -> Double
pure native java.lang.Math.IEEEremainder

inherited from PrimitiveFloating.ieeeRemainder

log :: Float -> Double
pure native java.lang.Math.log

inherited from PrimitiveFloating.log

log10 :: Float -> Double
pure native java.lang.Math.log10

inherited from PrimitiveFloating.log10

log1p :: Float -> Double
pure native java.lang.Math.log1p

inherited from PrimitiveFloating.log1p

nativeAbs :: Float -> Float
pure native java.lang.Math.abs

inherited from PrimitiveFloating.nativeAbs

nativeFloor :: Float -> Double
pure native java.lang.Math.floor

inherited from PrimitiveFloating.nativeFloor

nativeMax :: Float -> Float -> Float
pure native java.lang.Math.max

inherited from PrimitiveFloating.nativeMax

nativeMin :: Float -> Float -> Float
pure native java.lang.Math.min

inherited from PrimitiveFloating.nativeMin

nextAfter :: Float -> Float -> Float
pure native java.lang.Math.nextAfter

inherited from PrimitiveFloating.nextAfter

nextUp :: Float -> Float
pure native java.lang.Math.nextUp

inherited from PrimitiveFloating.nextUp

pow :: Float -> Float -> Double
pure native java.lang.Math.pow

inherited from PrimitiveFloating.pow

rint :: Float -> Double
pure native java.lang.Math.rint

inherited from PrimitiveFloating.rint

round :: Float -> Long
pure native java.lang.Math.round

inherited from PrimitiveFloating.round

scalb :: Float -> Int -> Float
pure native java.lang.Math.scalb

inherited from PrimitiveFloating.scalb

signum :: Float -> Float
pure native java.lang.Math.signum

inherited from PrimitiveFloating.signum

sin :: Float -> Double
pure native java.lang.Math.sin

inherited from PrimitiveFloating.sin

sinh :: Float -> Double
pure native java.lang.Math.sinh

inherited from PrimitiveFloating.sinh

sqrt :: Float -> Double
pure native java.lang.Math.sqrt

inherited from PrimitiveFloating.sqrt

tan :: Float -> Double
pure native java.lang.Math.tan

inherited from PrimitiveFloating.tan

tanh :: Float -> Double
pure native java.lang.Math.tanh

inherited from PrimitiveFloating.tanh

toDegrees :: Float -> Double
pure native java.lang.Math.toDegrees

inherited from PrimitiveFloating.toDegrees

toRadians :: Float -> Double
pure native java.lang.Math.toRadians

inherited from PrimitiveFloating.toRadians

ulp :: Float -> Float
pure native java.lang.Math.ulp

inherited from PrimitiveFloating.ulp

Functions and Values

e :: Double
pure native java.lang.Math.E
pi :: Double
pure native java.lang.Math.PI
random :: () -> ST s Double
native java.lang.Math.random
sqr :: Num a => a -> a

Functions and Values by Type

Double -> Double -> Double

PrimitiveFloating_Double.hypot, PrimitiveFloating_Double.**, PrimitiveFloating_Double.atan2, PrimitiveFloating_Double.copySign, PrimitiveFloating_Double.nativeMax, PrimitiveFloating_Double.ieeeRemainder, PrimitiveFloating_Double.pow, PrimitiveFloating_Double.nextAfter, PrimitiveFloating_Double.nativeMin

Double -> Int -> Double

PrimitiveFloating_Double.scalb

Double -> Double

PrimitiveFloating_Double.ceil, PrimitiveFloating_Double.asin, PrimitiveFloating_Double.acos, PrimitiveFloating_Double.atan, PrimitiveFloating_Double.cbrt, PrimitiveFloating_Double.exp, PrimitiveFloating_Double.cos, PrimitiveFloating_Double.cosh, PrimitiveFloating_Double.expm1, PrimitiveFloating_Double.signum, PrimitiveFloating_Double.log10, PrimitiveFloating_Double.log, PrimitiveFloating_Double.nativeAbs, PrimitiveFloating_Double.log1p, PrimitiveFloating_Double.nativeFloor, PrimitiveFloating_Double.nextUp, PrimitiveFloating_Double.rint, PrimitiveFloating_Double.tan, PrimitiveFloating_Double.sinh, PrimitiveFloating_Double.sin, PrimitiveFloating_Double.sqrt, PrimitiveFloating_Double.toDegrees, PrimitiveFloating_Double.tanh, PrimitiveFloating_Double.toRadians, PrimitiveFloating_Double.ulp

Double -> Int

PrimitiveFloating_Double.getExponent

Double -> Long

PrimitiveFloating_Double.round

Float -> Float -> Double

PrimitiveFloating_Float.hypot, PrimitiveFloating_Float.**, PrimitiveFloating_Float.atan2, PrimitiveFloating_Float.ieeeRemainder, PrimitiveFloating_Float.pow

Float -> Float -> Float

PrimitiveFloating_Float.copySign, PrimitiveFloating_Float.nativeMax, PrimitiveFloating_Float.nextAfter, PrimitiveFloating_Float.nativeMin

Float -> Int -> Float

PrimitiveFloating_Float.scalb

Float -> Double

PrimitiveFloating_Float.ceil, PrimitiveFloating_Float.asin, PrimitiveFloating_Float.acos, PrimitiveFloating_Float.atan, PrimitiveFloating_Float.cbrt, PrimitiveFloating_Float.exp, PrimitiveFloating_Float.cos, PrimitiveFloating_Float.cosh, PrimitiveFloating_Float.expm1, PrimitiveFloating_Float.log10, PrimitiveFloating_Float.log, PrimitiveFloating_Float.log1p, PrimitiveFloating_Float.nativeFloor, PrimitiveFloating_Float.rint, PrimitiveFloating_Float.tan, PrimitiveFloating_Float.sinh, PrimitiveFloating_Float.sin, PrimitiveFloating_Float.sqrt, PrimitiveFloating_Float.toDegrees, PrimitiveFloating_Float.tanh, PrimitiveFloating_Float.toRadians

Float -> Float

PrimitiveFloating_Float.signum, PrimitiveFloating_Float.nativeAbs, PrimitiveFloating_Float.nextUp, PrimitiveFloating_Float.ulp

Float -> Int

PrimitiveFloating_Float.getExponent

Float -> Long

PrimitiveFloating_Float.round

Double

e, pi

() -> ST s Double

random

PrimitiveFloating number => number -> Int -> number

PrimitiveFloating.scalb

PrimitiveFloating number => number -> number -> Double

PrimitiveFloating.hypot, PrimitiveFloating.**, PrimitiveFloating.atan2, PrimitiveFloating.ieeeRemainder, PrimitiveFloating.pow

PrimitiveFloating number => number -> number -> number

PrimitiveFloating.copySign, PrimitiveFloating.nativeMax, PrimitiveFloating.nextAfter, PrimitiveFloating.nativeMin

PrimitiveFloating number => number -> Double

PrimitiveFloating.ceil, PrimitiveFloating.asin, PrimitiveFloating.acos, PrimitiveFloating.atan, PrimitiveFloating.cbrt, PrimitiveFloating.exp, PrimitiveFloating.cos, PrimitiveFloating.cosh, PrimitiveFloating.expm1, PrimitiveFloating.log10, PrimitiveFloating.log, PrimitiveFloating.log1p, PrimitiveFloating.nativeFloor, PrimitiveFloating.rint, PrimitiveFloating.tan, PrimitiveFloating.sinh, PrimitiveFloating.sin, PrimitiveFloating.sqrt, PrimitiveFloating.toDegrees, PrimitiveFloating.tanh, PrimitiveFloating.toRadians

PrimitiveFloating number => number -> Int

PrimitiveFloating.getExponent

PrimitiveFloating number => number -> Long

PrimitiveFloating.round

PrimitiveFloating number => number -> number

PrimitiveFloating.signum, PrimitiveFloating.nativeAbs, PrimitiveFloating.nextUp, PrimitiveFloating.ulp

Num a => a -> a

sqr

Valid HTML 4.01 Strict