Numeric.Ring.Opposite

Documentation

newtype Opposite r

http:en.wikipedia.orgwikiOpposite_ring

Constructors

Opposite

Fields

runOpposite :: r

Instances

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)

Additive r => Additive (Opposite r)

Abelian r => Abelian (Opposite r)

Semiring r => Semiring (Opposite r)

Multiplicative r => Multiplicative (Opposite r)

Commutative r => Commutative (Opposite r)

AdditiveMonoid r => AdditiveMonoid (Opposite r)

Idempotent r => Idempotent (Opposite r)

Unital r => Unital (Opposite r)

Band r => Band (Opposite r)

DecidableUnits r => DecidableUnits (Opposite r)

DecidableAssociates r => DecidableAssociates (Opposite r)

MultiplicativeGroup r => MultiplicativeGroup (Opposite r)

DecidableZero r => DecidableZero (Opposite r)

Rig r => Rig (Opposite r)

AdditiveGroup r => AdditiveGroup (Opposite r)

Rng r => Rng (Opposite r)

Ring r => Ring (Opposite r)

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

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