algebra-4.2: Constructive abstract algebra

Safe HaskellSafe-Inferred
LanguageHaskell98

Numeric.Additive.Group

Contents

Synopsis

Additive Groups

class (LeftModule Integer r, RightModule Integer r, Monoidal r) => Group r where Source

Minimal complete definition

Nothing

Methods

(-) :: r -> r -> r infixl 6 Source

negate :: r -> r Source

subtract :: r -> r -> r Source

times :: Integral n => n -> r -> r infixl 7 Source

Instances

Group Int 
Group Int8 
Group Int16 
Group Int32 
Group Int64 
Group Integer 
Group Word 
Group Word8 
Group Word16 
Group Word32 
Group Word64 
Group () 
Group Euclidean 
Group r => Group (Complex r) 
Group r => Group (Quaternion r) 
Group r => Group (Dual r) 
Group r => Group (Hyper' r) 
Group r => Group (Hyper r) 
Group r => Group (Dual' r) 
Group r => Group (Quaternion' r) 
Group r => Group (Trig r) 
Division r => Group (Log r) 
Group r => Group (End r) 
Group r => Group (Opposite r) 
(Abelian r, Group r) => Group (RngRing r) 
Group r => Group (ZeroRng r) 
Euclidean d => Group (Fraction d) 
Group r => Group (e -> r) 
(Group a, Group b) => Group (a, b) 
Group s => Group (Covector s a) 
(Group a, Group b, Group c) => Group (a, b, c) 
Group s => Group (Map s b a) 
(Group a, Group b, Group c, Group d) => Group (a, b, c, d) 
(Group a, Group b, Group c, Group d, Group e) => Group (a, b, c, d, e)