Functor Opposite | |

Foldable Opposite | |

Traversable Opposite | |

Foldable1 Opposite | |

Traversable1 Opposite | |

LeftModule r s => RightModule r (Opposite s) | |

RightModule r s => LeftModule r (Opposite s) | |

Eq r => Eq (Opposite r) | |

Ord r => Ord (Opposite r) | |

Read r => Read (Opposite r) | |

Show r => Show (Opposite r) | |

Idempotent r => Idempotent (Opposite r) | |

Abelian r => Abelian (Opposite r) | |

Additive r => Additive (Opposite r) | |

Monoidal r => Monoidal (Opposite r) | |

Semiring r => Semiring (Opposite r) | |

Multiplicative r => Multiplicative (Opposite r) | |

Group r => Group (Opposite r) | |

Unital r => Unital (Opposite r) | |

Band r => Band (Opposite r) | |

Division r => Division (Opposite r) | |

DecidableAssociates r => DecidableAssociates (Opposite r) | |

DecidableUnits r => DecidableUnits (Opposite r) | |

DecidableZero r => DecidableZero (Opposite r) | |

Rig r => Rig (Opposite r) | |

Ring r => Ring (Opposite r) | |

Commutative r => Commutative (Opposite r) | |

Semiring r => RightModule (Opposite r) (Opposite r) | |

Semiring r => LeftModule (Opposite r) (Opposite r) | |