Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class CompatibleK lr op act a b s
- data CompatibleE = Compatible_Acts_Semigroup {}
- type family CompatibleS (lr :: Side) (op :: k1) (act :: k2) (a :: Type) (b :: Type) = (r :: CompatibleE)
Documentation
class CompatibleK lr op act a b s Source #
A strategy-parameterized typeclass for a compatible action, where compatibility is defined in the group action sense.
A compatible action satisfies
a act
(a' act
b) = (a op
a') act
b
(ActsK k2 lr act a b za, SemigroupK * k1 op a zs) => CompatibleK * * k2 k1 lr op act a b (Compatible_Acts_Semigroup a za zs) Source # | |
data CompatibleE Source #
type family CompatibleS (lr :: Side) (op :: k1) (act :: k2) (a :: Type) (b :: Type) = (r :: CompatibleE) Source #
type CompatibleS BinaryNumeric BinaryNumeric lr op op Rational Rational Source # | |
type CompatibleS BinaryNumeric BinaryNumeric lr op op Double Double Source # | |
type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (UVector n b) Source # | |
type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (BVector k n b) Source # | |
type CompatibleS BinaryNumeric BinaryNumeric lr op op (Complex Double) (Complex Double) Source # | |