Functor Additive Source # | |
Instance detailsDefined in Data.Semiring |
Applicative Additive Source # | |
Instance detailsDefined in Data.Semiring |
Distributive Additive Source # | |
Instance detailsDefined in Data.Semiring |
Representable Additive Source # | |
Instance detailsDefined in Data.Semiring |
Eq a => Eq (Additive a) Source # | |
Instance detailsDefined in Data.Semiring |
Ord a => Ord (Additive a) Source # | |
Instance detailsDefined in Data.Semiring |
Show a => Show (Additive a) Source # | |
Instance detailsDefined in Data.Semiring |
Generic (Additive a) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Bool) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Double) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Float) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Semigroup) b => Semigroup (Additive (a -> b)) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Int) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Int8) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Int16) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Int32) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Int64) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Integer) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Natural) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive [a]) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Semigroup) a => Semigroup (Additive (Maybe a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Semigroup) a, (Multiplicative - Semigroup) a) => Semigroup (Additive (Ratio a)) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Word) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Word8) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Word16) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Word32) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Word64) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Semigroup) a, (Additive - Semigroup) b) => Semigroup (Additive (Either a b)) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive ()) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Semigroup) a, (Additive - Semigroup) b) => Semigroup (Additive (a, b)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Semigroup) a, (Additive - Semigroup) b, (Additive - Semigroup) c) => Semigroup (Additive (a, b, c)) Source # | |
Instance detailsDefined in Data.Semiring Methods (<>) :: Additive (a, b, c) -> Additive (a, b, c) -> Additive (a, b, c) # sconcat :: NonEmpty (Additive (a, b, c)) -> Additive (a, b, c) # stimes :: Integral b0 => b0 -> Additive (a, b, c) -> Additive (a, b, c) # |
(Additive - Semigroup) a => Semigroup (Additive (Op a b)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Semigroup) a => Semigroup (Additive (Complex a)) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Uni) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Deci) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Centi) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Milli) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Micro) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Nano) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive Pico) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Semigroup) a => Semigroup (Additive (Down a)) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive CFloat) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive CDouble) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive (NonEmpty a)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Semigroup) a => Semigroup (Additive (IntMap a)) Source # | |
Instance detailsDefined in Data.Semiring |
Semigroup (Additive IntSet) Source # | |
Instance detailsDefined in Data.Semiring |
(Ord k, (Additive - Semigroup) a) => Semigroup (Additive (Map k a)) Source # | |
Instance detailsDefined in Data.Semiring |
Ord a => Semigroup (Additive (Set a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Semigroup) a, Free f, Free g) => Semigroup (Additive ((f ++ g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Semigroup) a, Free f, Free g) => Semigroup (Additive ((f ** g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Semigroup) a => Semigroup (Additive (Lin a b c)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Semigroup) a => Semigroup (Additive (Cov a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Semigroup) a => Semigroup (Additive (Vec a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Semigroup) a => Semigroup (Additive (V4 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Semigroup) a => Semigroup (Additive (V3 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Semigroup) a => Semigroup (Additive (V2 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Semigroup) a => Semigroup (Additive (V1 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
Monoid (Additive Bool) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Double) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Float) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Monoid) b => Monoid (Additive (a -> b)) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Int) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Int8) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Int16) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Int32) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Int64) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Integer) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Natural) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive [a]) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Semigroup) a => Monoid (Additive (Maybe a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Monoid) a, (Multiplicative - Monoid) a) => Monoid (Additive (Ratio a)) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Word) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Word8) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Word16) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Word32) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Word64) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive ()) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Monoid) a, (Additive - Monoid) b) => Monoid (Additive (a, b)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Monoid) a, (Additive - Monoid) b, (Additive - Monoid) c) => Monoid (Additive (a, b, c)) Source # | |
Instance detailsDefined in Data.Semiring Methods mempty :: Additive (a, b, c) # mappend :: Additive (a, b, c) -> Additive (a, b, c) -> Additive (a, b, c) # mconcat :: [Additive (a, b, c)] -> Additive (a, b, c) # |
(Additive - Monoid) a => Monoid (Additive (Op a b)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Monoid) a => Monoid (Additive (Complex a)) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Uni) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Deci) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Centi) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Milli) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Micro) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Nano) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive Pico) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Monoid) a => Monoid (Additive (Down a)) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive CFloat) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive CDouble) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Semigroup) a => Monoid (Additive (IntMap a)) Source # | |
Instance detailsDefined in Data.Semiring |
Monoid (Additive IntSet) Source # | |
Instance detailsDefined in Data.Semiring |
(Ord k, (Additive - Semigroup) a) => Monoid (Additive (Map k a)) Source # | |
Instance detailsDefined in Data.Semiring |
Ord a => Monoid (Additive (Set a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Monoid) a, Free f, Free g) => Monoid (Additive ((f ++ g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Monoid) a, Free f, Free g) => Monoid (Additive ((f ** g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Monoid) a => Monoid (Additive (Lin a b c)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Monoid) a => Monoid (Additive (Cov a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Monoid) a => Monoid (Additive (Vec a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Monoid) a => Monoid (Additive (V4 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Monoid) a => Monoid (Additive (V3 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Monoid) a => Monoid (Additive (V2 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Monoid) a => Monoid (Additive (V1 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
Group (Additive Double) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Float) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) b => Group (Additive (a -> b)) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Int) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Int8) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Int16) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Int32) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Int64) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Integer) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, (Multiplicative - Monoid) a) => Group (Additive (Ratio a)) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive ()) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Group (Additive (Op a b)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Group (Additive (Complex a)) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Uni) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Deci) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Centi) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Milli) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Micro) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Nano) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive Pico) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive CFloat) Source # | |
Instance detailsDefined in Data.Semiring |
Group (Additive CDouble) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, Free f, Free g) => Group (Additive ((f ++ g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, Free f, Free g) => Group (Additive ((f ** g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Group (Additive (Lin a b c)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Group (Additive (Cov a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Group (Additive (Vec a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Group (Additive (V4 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Group (Additive (V3 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Group (Additive (V2 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Group (Additive (V1 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
Loop (Additive Double) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Float) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) b => Loop (Additive (a -> b)) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Int) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Int8) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Int16) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Int32) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Int64) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Integer) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, (Multiplicative - Monoid) a) => Loop (Additive (Ratio a)) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive ()) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Loop (Additive (Op a b)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Loop (Additive (Complex a)) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Uni) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Deci) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Centi) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Milli) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Micro) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Nano) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive Pico) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive CFloat) Source # | |
Instance detailsDefined in Data.Semiring |
Loop (Additive CDouble) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, Free f, Free g) => Loop (Additive ((f ++ g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, Free f, Free g) => Loop (Additive ((f ** g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Loop (Additive (Lin a b c)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Loop (Additive (Cov a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Loop (Additive (Vec a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Loop (Additive (V4 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Loop (Additive (V3 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Loop (Additive (V2 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Loop (Additive (V1 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
Quasigroup (Additive Double) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Float) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) b => Quasigroup (Additive (a -> b)) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Int) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Int8) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Int16) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Int32) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Int64) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Integer) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, (Multiplicative - Monoid) a) => Quasigroup (Additive (Ratio a)) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive ()) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Quasigroup (Additive (Op a b)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Quasigroup (Additive (Complex a)) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Uni) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Deci) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Centi) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Milli) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Micro) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Nano) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive Pico) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive CFloat) Source # | |
Instance detailsDefined in Data.Semiring |
Quasigroup (Additive CDouble) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, Free f, Free g) => Quasigroup (Additive ((f ++ g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, Free f, Free g) => Quasigroup (Additive ((f ** g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Quasigroup (Additive (Lin a b c)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Quasigroup (Additive (Cov a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Quasigroup (Additive (Vec a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Quasigroup (Additive (V4 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Quasigroup (Additive (V3 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Quasigroup (Additive (V2 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Quasigroup (Additive (V1 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
Magma (Additive Double) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Float) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) b => Magma (Additive (a -> b)) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Int) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Int8) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Int16) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Int32) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Int64) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Integer) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, (Multiplicative - Monoid) a) => Magma (Additive (Ratio a)) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive ()) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Magma (Additive (Op a b)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Magma (Additive (Complex a)) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Uni) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Deci) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Centi) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Milli) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Micro) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Nano) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive Pico) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive CFloat) Source # | |
Instance detailsDefined in Data.Semiring |
Magma (Additive CDouble) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, Free f, Free g) => Magma (Additive ((f ++ g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
((Additive - Group) a, Free f, Free g) => Magma (Additive ((f ** g) a)) Source # | |
Instance detailsDefined in Data.Semiring |
(Additive - Group) a => Magma (Additive (Lin a b c)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Magma (Additive (Cov a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Magma (Additive (Vec a b)) Source # | |
Instance detailsDefined in Data.Semimodule.Free |
(Additive - Group) a => Magma (Additive (V4 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Magma (Additive (V3 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Magma (Additive (V2 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
(Additive - Group) a => Magma (Additive (V1 a)) Source # | |
Instance detailsDefined in Data.Semimodule.Finite |
type Rep Additive Source # | |
Instance detailsDefined in Data.Semiring |
type Rep (Additive a) Source # | |
Instance detailsDefined in Data.Semiring |