Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family ActorLinearS (lr :: Side) (act :: k0) (ao :: k1) a (bo :: k2) b :: ActorLinearE Source #
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 #
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 #
(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 #
(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 # | |