| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Noether.Algebra.Actions.Linearity
Documentation
data ActorLinearE Source #
data ActeeLinearE Source #
Constructors
| ActeeLinear_Acts_Semigroup ActsE SemigroupE |
type family ActorLinearS (lr :: Side) (act :: k0) (ao :: k1) a (bo :: k2) b :: ActorLinearE Source #
Instances
| type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add Rational Add Rational Source # | |
| type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add Double Add Double Source # | |
| type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add a Add (UVector n a) Source # | |
| type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add a Add (BVector k n a) Source # | |
| type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add (Complex Double) Add (Complex Double) Source # | |
type family ActeeLinearS (lr :: Side) (act :: k0) a (bo :: k2) b :: ActeeLinearE Source #
Instances
| type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul Rational Add Rational Source # | |
| type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul Double Add Double Source # | |
| type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul a Add (UVector n a) Source # | |
| type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul a Add (BVector k n a) Source # | |
| type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul (Complex Double) Add (Complex Double) Source # | |
class ActorLinearK lr act ao a bo b s Source #
Instances
| (ActsK k2 lr act a b za, SemigroupK * k1 ao a zas, SemigroupK * k bo b zbs) => ActorLinearK * k * k1 k2 Side lr act ao a bo b (ActorLinear_Acts_Semigroup_Semigroup za zas zbs) Source # | |
class ActeeLinearK lr act a bo b s Source #
Instances
| (ActsK k1 lr act a b za, SemigroupK * k bo b zbs) => ActeeLinearK * k * k1 Side lr act a bo b (ActeeLinear_Acts_Semigroup za zbs) Source # | |