| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Noether.Algebra.Single.Group
Documentation
type family GroupS (op :: k) (a :: Type) = (r :: GroupE) Source #
Instances
| type GroupS BinaryNumeric op Rational Source # | |
| type GroupS BinaryNumeric op Rational Source # | |
| type GroupS BinaryNumeric op Double Source # | |
| type GroupS BinaryNumeric op Float Source # | |
| type GroupS BinaryNumeric Add Int Source # | |
| type GroupS BinaryNumeric Add Integer Source # | |
| type GroupS BinaryNumeric op (Complex a) Source # | |
| type GroupS BinaryNumeric op (Ratio Int64) Source # | |
| type GroupS BinaryNumeric op (Ratio Int32) Source # | |
| type GroupS BinaryNumeric op (Ratio Int16) Source # | |
| type GroupS BinaryNumeric op (Ratio Int8) Source # | |
| type GroupS BinaryNumeric op (Ratio Int8) Source # | |
| type GroupS BinaryNumeric Add (UVector n a) Source # | |
| type GroupS BinaryNumeric Add (BVector k n a) Source # | |
Constructors
| Group_Monoid_Cancellative MonoidE CancellativeE | |
| GroupNamed Symbol GroupE |
Instances
| (KnownSymbol sym, GroupK k k1 op a s) => GroupK k k1 op a (GroupNamed sym s) Source # | |
| (MonoidK * k op a zm, CancellativeK k op a zl) => GroupK * k op a (Group_Monoid_Cancellative zm zl) Source # | |