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

Language | Haskell98 |

- class C a => C a where
- genericRoot :: (C a, C b) => b -> a -> a
- power :: (C a, C b) => b -> a -> a
- propSqrSqrt :: (Eq a, C a) => a -> Bool
- propPowerCascade :: (Eq a, C a) => a -> Rational -> Rational -> Bool
- propPowerProduct :: (Eq a, C a) => a -> Rational -> Rational -> Bool
- propPowerDistributive :: (Eq a, C a) => Rational -> a -> a -> Bool

# Documentation

class C a => C a where Source #

Minimal implementation: `root`

or '(^/)'.

C Double Source # | |

C Float Source # | |

C T Source # | |

C T Source # | |

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

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

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

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

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

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

(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 # | |

genericRoot :: (C a, C b) => b -> a -> a Source #