| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Noether.Algebra.Single.AbelianGroup
Documentation
type family AbelianGroupS (op :: k) (a :: Type) = (r :: AbelianGroupE) Source #
Instances
| type AbelianGroupS BinaryNumeric op Rational Source # | |
| type AbelianGroupS BinaryNumeric op Rational Source # | |
| type AbelianGroupS BinaryNumeric op Double Source # | |
| type AbelianGroupS BinaryNumeric op Float Source # | |
| type AbelianGroupS BinaryNumeric Add Int Source # | |
| type AbelianGroupS BinaryNumeric Add Integer Source # | |
| type AbelianGroupS BinaryNumeric op (Complex a) Source # | |
| type AbelianGroupS BinaryNumeric op (Ratio Int64) Source # | |
| type AbelianGroupS BinaryNumeric op (Ratio Int32) Source # | |
| type AbelianGroupS BinaryNumeric op (Ratio Int16) Source # | |
| type AbelianGroupS BinaryNumeric op (Ratio Int8) Source # | |
| type AbelianGroupS BinaryNumeric op (Ratio Int8) Source # | |
| type AbelianGroupS BinaryNumeric Add (UVector n a) Source # | |
| type AbelianGroupS BinaryNumeric Add (BVector k n a) Source # | |
data AbelianGroupE Source #
class AbelianGroupK op a s Source #
Instances
| (KnownSymbol sym, AbelianGroupK k k1 op a s) => AbelianGroupK k k1 op a (AbelianGroupNamed sym s) Source # | |
| (GroupK k k1 op a zm, CommutativeK k k1 op a zl) => AbelianGroupK k k1 op a (AbelianGroup_Commutative_Group zl zm) Source # | |
type AbelianGroupC op a = AbelianGroupK op a (AbelianGroupS op a) Source #