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