| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Noether.Algebra.Actions.Compatible
- 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
Instances
| (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 #
Constructors
| Compatible_Acts_Semigroup | |
Fields | |
type family CompatibleS (lr :: Side) (op :: k1) (act :: k2) (a :: Type) (b :: Type) = (r :: CompatibleE) Source #
Instances
| 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 # | |