Contents Index

Org.Org.Semantic.HBase.Mathematics.Real

Synopsis

class HasZero a => HasPosNegZeros a where positiveZero :: a negativeZero :: a isPositiveZero :: a -> Bool isNegativeZero :: a -> Bool isPositive :: (HasPosNegZeros a, MaybeOrdered a) => a -> Bool isNegative :: (HasPosNegZeros a, MaybeOrdered a) => a -> Bool class HasInfinity a => HasPosNegInfinities a where positiveInfinity :: a negativeInfinity :: a isPositiveInfinity :: a -> Bool isNegativeInfinity :: a -> Bool class (Negatable a, InterpretRationalLiteral a, Additive a a a, Subtractive a a a, Multiplicative a a a, Divisible a a a, Power a a) => ApproxMath a where pi :: a exponent :: a -> a logarithm :: a -> a squareroot :: a -> a logarithmBase :: a -> a -> a sine :: a -> a cosine :: a -> a tangent :: a -> a arcsine :: a -> a arccosine :: a -> a arctangent :: a -> a hypsine :: a -> a hypcosine :: a -> a hyptangent :: a -> a archypsine :: a -> a archypcosine :: a -> a archyptangent :: a -> a class (ApproxMath a, HasAbsolute a a, Approximate a NaNInfRational, MaybeOrdered a) => RealApproxMath a arctangent2 :: (RealApproxMath a, HasPosNegZeros a) => a -> a -> a

Documentation

class HasZero a => HasPosNegZeros a where

has both positive and negative zero Methods positiveZero :: a negativeZero :: a isPositiveZero :: a -> Bool isNegativeZero :: a -> Bool Instances HasPosNegZeros Double HasPosNegZeros EIReal

isPositive :: (HasPosNegZeros a, MaybeOrdered a) => a -> Bool

isNegative :: (HasPosNegZeros a, MaybeOrdered a) => a -> Bool

class HasInfinity a => HasPosNegInfinities a where

has both positive and negative infinity Methods positiveInfinity :: a negativeInfinity :: a isPositiveInfinity :: a -> Bool isNegativeInfinity :: a -> Bool Instances HasPosNegInfinities Double HasPosNegInfinities EIReal

class (Negatable a, InterpretRationalLiteral a, Additive a a a, Subtractive a a a, Multiplicative a a a, Divisible a a a, Power a a) => ApproxMath a where

Methods pi :: a exponent :: a -> a logarithm :: a -> a squareroot :: a -> a logarithmBase :: a -> a -> a sine :: a -> a cosine :: a -> a tangent :: a -> a arcsine :: a -> a arccosine :: a -> a arctangent :: a -> a hypsine :: a -> a hypcosine :: a -> a hyptangent :: a -> a archypsine :: a -> a archypcosine :: a -> a archyptangent :: a -> a Instances (RealApproxMath a, HasPosNegZeros a) => ApproxMath (Complex a) ApproxMath Double ApproxMath EIReal

class (ApproxMath a, HasAbsolute a a, Approximate a NaNInfRational, MaybeOrdered a) => RealApproxMath a

Instances RealApproxMath EIReal

arctangent2 :: (RealApproxMath a, HasPosNegZeros a) => a -> a -> a

Produced by Haddock version 0.6