| (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) |
| (Monoid r, Monoid m) => Monoid (D s r m) |
| Module r m => Multiplicative (D s r m) |
| (RightSemiNearRing r, Module r m) => RightSemiNearRing (D s r m) |
| (LeftSemiNearRing r, Module r m) => LeftSemiNearRing (D s r m) |
| (SemiRing r, Module r m) => SemiRing (D s r m) |
| (Group r, Module r m, Group m) => Group (D s r m) |
| (Ring r, Module r m, Group m) => Ring (D s r m) |
Instances