| (Bimodule r m, Reducer c r, Reducer c m) => Reducer c (D s r m) |
| Eq r => Eq (D s r m) |
| Fractional a => Fractional (D s a a) |
| Num a => Num (D s a a) |
| Ord r => Ord (D s r m) |
| (Read r, Read m) => Read (D s r m) |
| (Show r, Show m) => Show (D s r m) |
| (Arbitrary r, Arbitrary m) => Arbitrary (D s r m) |
| (CoArbitrary r, CoArbitrary m) => CoArbitrary (D s r m) |
| Bimodule r m => Monoid (D s r m) |
| Bimodule r m => Multiplicative (D s r m) |
| (Group r, Bimodule r m, Group m) => Group (D s r m) |
| (Ring r, Bimodule r m, Group m) => Ring (D s r m) |
| (SemiRing r, Bimodule r m) => SemiRing (D s r m) |
| (RightSemiNearRing r, Bimodule r m) => RightSemiNearRing (D s r m) |
| (LeftSemiNearRing r, Bimodule r m) => LeftSemiNearRing (D s r m) |
| (Ringoid r, Bimodule r m) => Ringoid (D s r m) |
Instances