# Documentation

class Unital r => Division r whereSource

Division () | |

(Commutative r, InvolutiveSemiring r, DivisionRing r) => Division (Complex r) | |

(TriviallyInvolutive r, Ring r, Division r) => Division (Quaternion r) | |

(Commutative r, InvolutiveSemiring r, DivisionRing r) => Division (Dual r) | |

(Commutative r, InvolutiveSemiring r, DivisionRing r) => Division (Hyper' r) | |

(Commutative r, InvolutiveSemiring r, DivisionRing r) => Division (Dual' r) | |

(TriviallyInvolutive r, Ring r, Division r) => Division (Quaternion' r) | |

Group r => Division (Exp r) | |

(Rng r, Division r) => Division (RngRing r) | |

Division r => Division (Opposite r) | |

(Unital r, DivisionAlgebra r a) => Division (a -> r) | |

(Division a, Division b) => Division (a, b) | |

(Division a, Division b, Division c) => Division (a, b, c) | |

(Division a, Division b, Division c, Division d) => Division (a, b, c, d) | |

(Division a, Division b, Division c, Division d, Division e) => Division (a, b, c, d, e) |

class UnitalAlgebra r a => DivisionAlgebra r a whereSource

recipriocal :: (a -> r) -> a -> rSource