(Reducer c r, Reducer c m) => Reducer c (D r m) |
(Arbitrary r, Arbitrary m) => Arbitrary (D r m) |
(CoArbitrary r, CoArbitrary m) => CoArbitrary (D r m) |
(Monoid r, Monoid m) => Monoid (D r m) |
Module r m => Multiplicative (D r m) |
(LeftSemiNearRing r, Module r m) => LeftSemiNearRing (D r m) |
(RightSemiNearRing r, Module r m) => RightSemiNearRing (D r m) |
(SemiRing r, Module r m) => SemiRing (D r m) |
(Group r, Module r m, Group m) => Group (D r m) |
(Ring r, Module r m, Group m) => Ring (D r m) |