Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family GroupS (op :: k) (a :: Type) = (r :: GroupE) Source #
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 # | |
(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 # | |