Numeric.Module.Class

Module over semirings

class (Semiring r, Additive m) => LeftModule r m where

Methods

(.*) :: r -> m -> m

Instances

LeftModule Integer Int

LeftModule Integer Int8

LeftModule Integer Int16

LeftModule Integer Int32

LeftModule Integer Int64

LeftModule Integer Integer

LeftModule Integer Word

LeftModule Integer Word8

LeftModule Integer Word16

LeftModule Integer Word32

LeftModule Integer Word64

Semiring r => LeftModule r ()

LeftModule Natural Bool

LeftModule Natural Int

LeftModule Natural Int8

LeftModule Natural Int16

LeftModule Natural Int32

LeftModule Natural Int64

LeftModule Natural Integer

LeftModule Natural Word

LeftModule Natural Word8

LeftModule Natural Word16

LeftModule Natural Word32

LeftModule Natural Word64

LeftModule Natural Natural

MultiplicativeGroup r => LeftModule Integer (Log r)

AdditiveGroup r => LeftModule Integer (ZeroRng r)

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

LeftModule r m => LeftModule r (End m)

RightModule r s => LeftModule r (Opposite s)

Unital r => LeftModule Natural (Log r)

AdditiveMonoid r => LeftModule Natural (ZeroRng r)

(Abelian r, AdditiveMonoid r) => LeftModule Natural (RngRing r)

(LeftModule r a, LeftModule r b) => LeftModule r (a, b)

LeftModule r m => LeftModule r (e -> m)

LeftModule r s => LeftModule r (Linear s m)

LeftModule r s => LeftModule r (Antilinear s m)

(LeftModule r a, LeftModule r b, LeftModule r c) => LeftModule r (a, b, c)

LeftModule r s => LeftModule r (Map s b m)

(LeftModule r a, LeftModule r b, LeftModule r c, LeftModule r d) => LeftModule r (a, b, c, d)

(LeftModule r a, LeftModule r b, LeftModule r c, LeftModule r d, LeftModule r e) => LeftModule r (a, b, c, d, e)

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

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

Rng s => LeftModule (RngRing s) (RngRing s)

FreeCoalgebra r m => LeftModule (Linear r m) (Linear r m)

FreeCoalgebra r m => LeftModule (Map r b m) (Map r b m)

class (Semiring r, Additive m) => RightModule r m where

Methods

(*.) :: m -> r -> m

Instances

RightModule Integer Int

RightModule Integer Int8

RightModule Integer Int16

RightModule Integer Int32

RightModule Integer Int64

RightModule Integer Integer

RightModule Integer Word

RightModule Integer Word8

RightModule Integer Word16

RightModule Integer Word32

RightModule Integer Word64

Semiring r => RightModule r ()

RightModule Natural Bool

RightModule Natural Int

RightModule Natural Int8

RightModule Natural Int16

RightModule Natural Int32

RightModule Natural Int64

RightModule Natural Integer

RightModule Natural Word

RightModule Natural Word8

RightModule Natural Word16

RightModule Natural Word32

RightModule Natural Word64

RightModule Natural Natural

MultiplicativeGroup r => RightModule Integer (Log r)

AdditiveGroup r => RightModule Integer (ZeroRng r)

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

RightModule r m => RightModule r (End m)

LeftModule r s => RightModule r (Opposite s)

Unital r => RightModule Natural (Log r)

AdditiveMonoid r => RightModule Natural (ZeroRng r)

(Abelian r, AdditiveMonoid r) => RightModule Natural (RngRing r)

(RightModule r a, RightModule r b) => RightModule r (a, b)

RightModule r m => RightModule r (e -> m)

RightModule r s => RightModule r (Linear s m)

RightModule r s => RightModule r (Antilinear s m)

(RightModule r a, RightModule r b, RightModule r c) => RightModule r (a, b, c)

RightModule r s => RightModule r (Map s b m)

(RightModule r a, RightModule r b, RightModule r c, RightModule r d) => RightModule r (a, b, c, d)

(RightModule r a, RightModule r b, RightModule r c, RightModule r d, RightModule r e) => RightModule r (a, b, c, d, e)

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

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

Rng s => RightModule (RngRing s) (RngRing s)

FreeCoalgebra r m => RightModule (Linear r m) (Linear r m)

FreeCoalgebra r m => RightModule (Map r b m) (Map r b m)