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 | |
RightModule Integer Euclidean | |
(Semiring (), Additive m) => RightModule () m | |
(Additive (), 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 | |
RightModule Natural Euclidean | |
(Semiring Integer, Additive (Log r), Division r) => RightModule Integer (Log r) | |
(Semiring Integer, Additive (RngRing r), Abelian r, Group r) => RightModule Integer (RngRing r) | |
(Semiring Integer, Additive (ZeroRng r), Group r) => RightModule Integer (ZeroRng r) | |
(Semiring r, Additive (Complex s), RightModule r s) => RightModule r (Complex s) | |
(Semiring r, Additive (Quaternion s), RightModule r s) => RightModule r (Quaternion s) | |
(Semiring r, Additive (Dual s), RightModule r s) => RightModule r (Dual s) | |
(Semiring r, Additive (Hyper' s), RightModule r s) => RightModule r (Hyper' s) | |
(Semiring r, Additive (Hyper s), RightModule r s) => RightModule r (Hyper s) | |
(Semiring r, Additive (Dual' s), RightModule r s) => RightModule r (Dual' s) | |
(Semiring r, Additive (Quaternion' s), RightModule r s) => RightModule r (Quaternion' s) | |
(Semiring r, Additive (Trig s), RightModule r s) => RightModule r (Trig s) | |
(Semiring r, Additive (End m), RightModule r m) => RightModule r (End m) | |
(Semiring r, Additive (Opposite s), LeftModule r s) => RightModule r (Opposite s) | |
(Semiring Natural, Additive (BasisCoblade m)) => RightModule Natural (BasisCoblade m) | |
(Semiring Natural, Additive (Log r), Unital r) => RightModule Natural (Log r) | |
(Semiring Natural, Additive (RngRing r), Abelian r, Monoidal r) => RightModule Natural (RngRing r) | |
(Semiring Natural, Additive (ZeroRng r), Monoidal r) => RightModule Natural (ZeroRng r) | |
(Semiring r, Additive (a, b), RightModule r a, RightModule r b) => RightModule r (a, b) | |
(Semiring r, Additive (:->: e m), HasTrie e, RightModule r m) => RightModule r (:->: e m) | |
(Semiring r, Additive (e -> m), RightModule r m) => RightModule r (e -> m) | |
(Semiring r, Additive (Covector s m), RightModule r s) => RightModule r (Covector s m) | |
(Semiring r, Additive (a, b, c), RightModule r a, RightModule r b, RightModule r c) => RightModule r (a, b, c) | |
(Semiring r, Additive (Map s b m), RightModule r s) => RightModule r (Map s b m) | |
(Semiring r, Additive (a, b, c, d), RightModule r a, RightModule r b, RightModule r c, RightModule r d) => RightModule r (a, b, c, d) | |
(Semiring r, Additive (a, b, c, d, e), RightModule r a, RightModule r b, RightModule r c, RightModule r d, RightModule r e) => RightModule r (a, b, c, d, e) | |
(Semiring (Complex r), Additive (Complex r), Commutative r, Rng r) => RightModule (Complex r) (Complex r) | |
(Semiring (Quaternion r), Additive (Quaternion r), TriviallyInvolutive r, Rng r) => RightModule (Quaternion r) (Quaternion r) | |
(Semiring (Dual r), Additive (Dual r), Commutative r, Rng r) => RightModule (Dual r) (Dual r) | |
(Semiring (Hyper' r), Additive (Hyper' r), Commutative r, Semiring r) => RightModule (Hyper' r) (Hyper' r) | |
(Semiring (Hyper r), Additive (Hyper r), Commutative r, Semiring r) => RightModule (Hyper r) (Hyper r) | |
(Semiring (Dual' r), Additive (Dual' r), Commutative r, Rng r) => RightModule (Dual' r) (Dual' r) | |
(Semiring (Quaternion' r), Additive (Quaternion' r), TriviallyInvolutive r, Rng r) => RightModule (Quaternion' r) (Quaternion' r) | |
(Semiring (Trig r), Additive (Trig r), Commutative r, Rng r) => RightModule (Trig r) (Trig r) | |
(Semiring (End m), Additive (End m), Monoidal m, Abelian m) => RightModule (End m) (End m) | |
(Semiring (Opposite r), Additive (Opposite r), Semiring r) => RightModule (Opposite r) (Opposite r) | |
(Semiring (RngRing s), Additive (RngRing s), Rng s) => RightModule (RngRing s) (RngRing s) | |
(Semiring (Covector r m), Additive (Covector r m), Coalgebra r m) => RightModule (Covector r m) (Covector r m) | |
(Semiring (Map r b m), Additive (Map r b m), Coalgebra r m) => RightModule (Map r b m) (Map r b m) | |