Numeric.Group.Additive

Additive Groups

class (LeftModule Integer r, RightModule Integer r, AdditiveMonoid r) => AdditiveGroup r where

Methods

(-) :: r -> r -> r

negate :: r -> r

subtract :: r -> r -> r

times :: Integral n => n -> r -> r

Instances

AdditiveGroup Int

AdditiveGroup Int8

AdditiveGroup Int16

AdditiveGroup Int32

AdditiveGroup Int64

AdditiveGroup Integer

AdditiveGroup Word

AdditiveGroup Word8

AdditiveGroup Word16

AdditiveGroup Word32

AdditiveGroup Word64

AdditiveGroup ()

MultiplicativeGroup r => AdditiveGroup (Log r)

AdditiveGroup r => AdditiveGroup (End r)

AdditiveGroup r => AdditiveGroup (ZeroRng r)

AdditiveGroup r => AdditiveGroup (Opposite r)

(Abelian r, AdditiveGroup r) => AdditiveGroup (RngRing r)

AdditiveGroup r => AdditiveGroup (e -> r)

(AdditiveGroup a, AdditiveGroup b) => AdditiveGroup (a, b)

AdditiveGroup s => AdditiveGroup (Linear s a)

AdditiveGroup s => AdditiveGroup (Antilinear s a)

(AdditiveGroup a, AdditiveGroup b, AdditiveGroup c) => AdditiveGroup (a, b, c)

AdditiveGroup s => AdditiveGroup (Map s b a)

(AdditiveGroup a, AdditiveGroup b, AdditiveGroup c, AdditiveGroup d) => AdditiveGroup (a, b, c, d)

(AdditiveGroup a, AdditiveGroup b, AdditiveGroup c, AdditiveGroup d, AdditiveGroup e) => AdditiveGroup (a, b, c, d, e)