Functor Opposite Source #  

Foldable Opposite Source #  

Traversable Opposite Source #  

Traversable1 Opposite Source #  

Foldable1 Opposite Source #  

LeftModule r s => RightModule r (Opposite s) Source #  

RightModule r s => LeftModule r (Opposite s) Source #  

Eq r => Eq (Opposite r) Source #  

Ord r => Ord (Opposite r) Source #  

Read r => Read (Opposite r) Source #  

Show r => Show (Opposite r) Source #  

Idempotent r => Idempotent (Opposite r) Source #  

Abelian r => Abelian (Opposite r) Source #  

Additive r => Additive (Opposite r) Source #  

Monoidal r => Monoidal (Opposite r) Source #  

Semiring r => Semiring (Opposite r) Source #  

Multiplicative r => Multiplicative (Opposite r) Source #  

Group r => Group (Opposite r) Source #  

Unital r => Unital (Opposite r) Source #  

Division r => Division (Opposite r) Source #  

Band r => Band (Opposite r) Source #  

DecidableAssociates r => DecidableAssociates (Opposite r) Source #  

DecidableUnits r => DecidableUnits (Opposite r) Source #  

DecidableZero r => DecidableZero (Opposite r) Source #  

Rig r => Rig (Opposite r) Source #  

Ring r => Ring (Opposite r) Source #  

Commutative r => Commutative (Opposite r) Source #  

Semiring r => RightModule (Opposite r) (Opposite r) Source #  

Semiring r => LeftModule (Opposite r) (Opposite r) Source #  
