|
|
|
|
|
|
Synopsis |
|
class C a => C a where | | | (^?) :: C a => a -> a -> a | | propExpLog :: (Eq a, C a) => a -> Bool | | propLogExp :: (Eq a, C a) => a -> Bool | | propExpNeg :: (Eq a, C a) => a -> Bool | | propLogRecip :: (Eq a, C a) => a -> Bool | | propExpProduct :: (Eq a, C a) => a -> a -> Bool | | propExpLogPower :: (Eq a, C a) => a -> a -> Bool | | propLogSum :: (Eq a, C a) => a -> a -> Bool | | propPowerCascade :: (Eq a, C a) => a -> a -> a -> Bool | | propPowerProduct :: (Eq a, C a) => a -> a -> a -> Bool | | propPowerDistributive :: (Eq a, C a) => a -> a -> a -> Bool | | propTrigonometricPythagoras :: (Eq a, C a) => a -> Bool | | propSinPeriod :: (Eq a, C a) => a -> Bool | | propCosPeriod :: (Eq a, C a) => a -> Bool | | propTanPeriod :: (Eq a, C a) => a -> Bool | | propSinAngleSum :: (Eq a, C a) => a -> a -> Bool | | propCosAngleSum :: (Eq a, C a) => a -> a -> Bool | | propSinDoubleAngle :: (Eq a, C a) => a -> Bool | | propCosDoubleAngle :: (Eq a, C a) => a -> Bool | | propSinSquare :: (Eq a, C a) => a -> Bool | | propCosSquare :: (Eq a, C a) => a -> Bool |
|
|
Documentation |
|
|
Transcendental is the type of numbers supporting the elementary
transcendental functions. Examples include real numbers, complex
numbers, and computable reals represented as a lazy list of rational
approximations.
Note the default declaration for a superclass. See the comments
below, under Instance declaractions for superclasses.
The semantics of these operations are rather ill-defined because of
branch cuts, etc.
Minimal complete definition:
pi, exp, log, sin, cos, asin, acos, atan
| | Methods | | | Instances | |
|
|
|
|
Transcendental laws, will only hold approximately on floating point numbers
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
propPowerDistributive :: (Eq a, C a) => a -> a -> a -> Bool | Source |
|
|
Trigonometric laws, addition theorems
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |