Data.AdditiveGroup · vector-space-0.19

classclass AdditiveGroup v where

Source#

Additive group v.

Methods

zeroV :: v
The zero element: identity for (^+^)
(^+^) :: v -> v -> vinfixl 6
Add vectors
negateV :: v -> v
Additive inverse
(^-^) :: v -> v -> vinfixl 6
Group subtraction

Instances29AdditiveGroup, …

AdditiveGroup IntegerDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup CDoubleDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup CFloatDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup CIntDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup CIntMaxDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup CLLongDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup CLongDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup CSCharDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup CShortDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup DoubleDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup FloatDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup IntDefined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup ()Defined in vector-space-0.19 · Data.AdditiveGroup
Integral a => AdditiveGroup (Ratio a)Defined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup (Diff (VRep p)) => AdditiveGroup (GenericDiff p)Defined in vector-space-0.19 · Data.AffineSpace
AdditiveGroup a => AdditiveGroup (Maybe a)Defined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup a => AdditiveGroup (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup
(RealFloat v, AdditiveGroup v) => AdditiveGroup (Complex v)Defined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup v => AdditiveGroup (a -> v)Defined in vector-space-0.19 · Data.AdditiveGroup
(HasTrie (Basis u), AdditiveGroup v) => AdditiveGroup (u :-* v)Defined in vector-space-0.19 · Data.LinearMap
(HasTrie u, AdditiveGroup v) => AdditiveGroup (u :->: v)Defined in vector-space-0.19 · Data.AdditiveGroup
(AdditiveGroup u, AdditiveGroup v) => AdditiveGroup (u, v)Defined in vector-space-0.19 · Data.AdditiveGroup
(HasBasis a, HasTrie (Basis a), AdditiveGroup u) => AdditiveGroup (a :> u)Defined in vector-space-0.19 · Data.Maclaurin
AdditiveGroup a => AdditiveGroup (Rec0 a s)Defined in vector-space-0.19 · Data.AdditiveGroup
(AdditiveGroup u, AdditiveGroup v, AdditiveGroup w) => AdditiveGroup (u, v, w)Defined in vector-space-0.19 · Data.AdditiveGroup
(AffineSpace (f p), AffineSpace (g p)) => AdditiveGroup (AffineDiffProductSpace f g p)Defined in vector-space-0.19 · Data.AffineSpace
(AdditiveGroup (f p), AdditiveGroup (g p)) => AdditiveGroup ((:*:) f g p)Defined in vector-space-0.19 · Data.AdditiveGroup
(AdditiveGroup u, AdditiveGroup v, AdditiveGroup w, AdditiveGroup x) => AdditiveGroup (u, v, w, x)Defined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup (f p) => AdditiveGroup (M1 i c f p)Defined in vector-space-0.19 · Data.AdditiveGroup

newtypenewtype Sum a

Source#

Monoid under group addition. Alternative to the Sum in Data.Monoid, which uses Num instead of AdditiveGroup.

Constructors

Sum
- getSum :: a

Instances10Functor, Applicative, Bounded, Eq, Ord, Read, …

Functor SumDefined in vector-space-0.19 · Data.AdditiveGroup
Applicative SumDefined in vector-space-0.19 · Data.AdditiveGroup
Bounded a => Bounded (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup
Eq a => Eq (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup
Ord a => Ord (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup
Read a => Read (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup
Show a => Show (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup a => Semigroup (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup a => Monoid (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup
AdditiveGroup a => AdditiveGroup (Sum a)Defined in vector-space-0.19 · Data.AdditiveGroup