| Functor Opposite | |
| Foldable Opposite | |
| Traversable Opposite | |
| Traversable1 Opposite | |
| Foldable1 Opposite | |
| (Semiring r, Additive (Opposite s), LeftModule r s) => RightModule r (Opposite s) | |
| (Semiring r, Additive (Opposite s), RightModule r s) => LeftModule r (Opposite s) | |
| Eq r => Eq (Opposite r) | |
| (Eq (Opposite r), Ord r) => Ord (Opposite r) | |
| Read r => Read (Opposite r) | |
| Show r => Show (Opposite r) | |
| (Additive (Opposite r), Idempotent r) => Idempotent (Opposite r) | |
| (Additive (Opposite r), Abelian r) => Abelian (Opposite r) | |
| Additive r => Additive (Opposite r) | |
| (LeftModule Natural (Opposite r), RightModule Natural (Opposite r), Monoidal r) => Monoidal (Opposite r) | |
| (Additive (Opposite r), Abelian (Opposite r), Multiplicative (Opposite r), Semiring r) => Semiring (Opposite r) | |
| Multiplicative r => Multiplicative (Opposite r) | |
| (LeftModule Integer (Opposite r), RightModule Integer (Opposite r), Monoidal (Opposite r), Group r) => Group (Opposite r) | |
| (Multiplicative (Opposite r), Unital r) => Unital (Opposite r) | |
| (Multiplicative (Opposite r), Band r) => Band (Opposite r) | |
| (Unital (Opposite r), Division r) => Division (Opposite r) | |
| (Unital (Opposite r), DecidableAssociates r) => DecidableAssociates (Opposite r) | |
| (Unital (Opposite r), DecidableUnits r) => DecidableUnits (Opposite r) | |
| (Monoidal (Opposite r), DecidableZero r) => DecidableZero (Opposite r) | |
| (Semiring (Opposite r), Unital (Opposite r), Monoidal (Opposite r), Rig r) => Rig (Opposite r) | |
| (Rig (Opposite r), Rng (Opposite r), Ring r) => Ring (Opposite r) | |
| (Multiplicative (Opposite r), Commutative r) => Commutative (Opposite r) | |
| (Semiring (Opposite r), Additive (Opposite r), Semiring r) => RightModule (Opposite r) (Opposite r) | |
| (Semiring (Opposite r), Additive (Opposite r), Semiring r) => LeftModule (Opposite r) (Opposite r) | |