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) | |