Numeric.Ring.Endomorphism

Documentation

newtype End a

The endomorphism ring of an abelian group or the endomorphism semiring of an abelian monoid

http:en.wikipedia.orgwikiEndomorphism_ring

Constructors

End

Fields

appEnd :: a -> a

Instances

RightModule r m => RightModule r (End m)

LeftModule r m => LeftModule r (End m)

Monoid (End r)

Additive r => Additive (End r)

Abelian r => Abelian (End r)

(Abelian r, AdditiveMonoid r) => Semiring (End r)

Multiplicative (End r)

Unital (End r)

(Abelian r, Commutative r) => Commutative (End r)

AdditiveMonoid r => AdditiveMonoid (End r)

(Abelian r, AdditiveMonoid r) => Rig (End r)

AdditiveGroup r => AdditiveGroup (End r)

(Abelian r, AdditiveGroup r) => Rng (End r)

(Abelian r, AdditiveGroup r) => Ring (End r)

(AdditiveMonoid m, Abelian m) => RightModule (End m) (End m)

(AdditiveMonoid m, Abelian m) => LeftModule (End m) (End m)

toEnd :: Multiplicative r => r -> End r

fromEnd :: Unital r => End r -> r