Safe Haskell | None |
---|---|

Language | Haskell98 |

- 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

class C a => C a where Source #

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 or logBase), sin, cos, atan

C Double Source # | |

C Float Source # | |

C T Source # | |

C T Source # | |

Floating a => C (T a) Source # | |

(C a, Eq a) => C (T a) Source # | |

C a => C (T a) Source # | |

(C a, C a, C a, Power a) => C (T a) Source # | |

C a => C (T a) Source # | |

(C a, C v, Show v, C a v) => C (T a v) Source # | |

(Ord i, C a) => C (T i a) Source # | |

C v => C (T a v) Source # | |