|
|
|
|
|
|
Synopsis |
|
class C a => C a where | | | 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 | C Double | C Float | C T | C T | (Ord a, C a) => C (T a) | (Polar a, C a, C a, Divisible a, Power a) => C (T a) | C a => C (T a) | (C a, Eq a) => C (T a) | (C a, C v, Show v, C a v) => C (T a v) | (Ord i, C a) => C (T i a) | C v => C (T a v) |
|
|
|
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.6.0 |