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