Noether.Algebra.Actions.Acts

Documentation

data ActsE

Constructors

Acts_Magma MagmaE

ActsNamed Symbol ActsE

ActsTagged Type ActsE

class ActsK lr op a b s where

Minimal complete definition

actK

Methods

actK :: Proxy op -> Proxy s -> Proxy lr -> a -> b -> b

Instances

MagmaK k op a zm => ActsK k lr op a a (Acts_Magma zm)

Methods

actK :: Proxy lr a -> Proxy ActsE s -> Proxy Side op -> a -> Acts_Magma zm -> Acts_Magma zm

(Unbox b, KnownNat n, ActsK k lr op a b s) => ActsK k lr op a (UVector n b) (ActsTagged UVectorLift s)

Actions of a on b extend to actions of a on 'UVector n b'.

Methods

actK :: Proxy lr a -> Proxy ActsE s -> Proxy Side op -> UVector n b -> ActsTagged UVectorLift s -> ActsTagged UVectorLift s

ActsK k1 lr op a b s => ActsK k1 lr op a (BVector k n b) (ActsTagged BVectorLift s)

Actions of a on b extend to actions of a on 'BVector n b'.

Methods

actK :: Proxy lr a -> Proxy ActsE s -> Proxy Side op -> BVector k n b -> ActsTagged BVectorLift s -> ActsTagged BVectorLift s

type family ActsS (lr :: Side) (op :: k) (a :: Type) (b :: Type) = (r :: ActsE)

Instances

type ActsS BinaryNumeric lr op Rational Rational

type ActsS BinaryNumeric lr op Rational Rational = DeriveActs_Magma BinaryNumeric op Rational

type ActsS BinaryNumeric lr op Double Double

type ActsS BinaryNumeric lr op Double Double = DeriveActs_Magma BinaryNumeric op Double

type ActsS BinaryNumeric lr Mul a (UVector n b)

type ActsS BinaryNumeric lr Mul a (UVector n b) = DeriveActs_Tagged BinaryNumeric UVectorLift lr Mul a b

type ActsS BinaryNumeric lr Mul a (BVector k n b)

type ActsS BinaryNumeric lr Mul a (BVector k n b) = DeriveActs_Tagged BinaryNumeric BVectorLift lr Mul a b

type ActsS BinaryNumeric lr op (Complex Double) (Complex Double)

type ActsS BinaryNumeric lr op (Complex Double) (Complex Double) = DeriveActs_Magma BinaryNumeric op (Complex Double)