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

Language | Haskell98 |

# Documentation

Fraction field `k(D)`

of `Euclidean`

domain `D`

.

Euclidean d => RightModule Integer (Fraction d) | |

Euclidean d => RightModule Natural (Fraction d) | |

Euclidean d => LeftModule Integer (Fraction d) | |

Euclidean d => LeftModule Natural (Fraction d) | |

(Eq d, Multiplicative d) => Eq (Fraction d) | |

(Ord d, Multiplicative d) => Ord (Fraction d) | |

(Eq d, Show d, Unital d) => Show (Fraction d) | |

Euclidean d => Abelian (Fraction d) | |

Euclidean d => Additive (Fraction d) | |

Euclidean d => Monoidal (Fraction d) | |

Euclidean d => Semiring (Fraction d) | |

Euclidean d => Multiplicative (Fraction d) | |

Euclidean d => Group (Fraction d) | |

Euclidean d => Unital (Fraction d) | |

Euclidean d => Division (Fraction d) | |

Euclidean d => DecidableUnits (Fraction d) | |

Euclidean d => DecidableZero (Fraction d) | |

Euclidean d => Rig (Fraction d) | |

(Characteristic d, Euclidean d) => Characteristic (Fraction d) | |

Euclidean d => Ring (Fraction d) | |

Euclidean d => IntegralSemiring (Fraction d) | |

(Commutative d, Euclidean d) => Commutative (Fraction d) |

denominator :: Fraction t -> t Source