Noether.Algebra.Single.Magma

Documentation

data MagmaE

Constructors

MagmaPrim

MagmaNum

MagmaNamed Symbol MagmaE

MagmaTagged Type MagmaE

class MagmaK op a s where

Minimal complete definition

binaryOpK

Methods

binaryOpK :: Proxy op -> Proxy s -> a -> a -> a

Instances

MagmaK BinaryBoolean And Bool MagmaPrim

Methods

binaryOpK :: Proxy And Bool -> Proxy MagmaE s -> MagmaPrim -> MagmaPrim -> MagmaPrim

MagmaK BinaryBoolean Or Bool MagmaPrim

Methods

binaryOpK :: Proxy Or Bool -> Proxy MagmaE s -> MagmaPrim -> MagmaPrim -> MagmaPrim

Num a => MagmaK BinaryNumeric Add a MagmaNum

Methods

binaryOpK :: Proxy Add a -> Proxy MagmaE s -> MagmaNum -> MagmaNum -> MagmaNum

Num a => MagmaK BinaryNumeric Mul a MagmaNum

Methods

binaryOpK :: Proxy Mul a -> Proxy MagmaE s -> MagmaNum -> MagmaNum -> MagmaNum

MagmaK k op a s => MagmaK k op a (MagmaNamed sym s)

Methods

binaryOpK :: Proxy op a -> Proxy MagmaE s -> MagmaNamed sym s -> MagmaNamed sym s -> MagmaNamed sym s

MagmaK k op a s => MagmaK k op (i -> a) (MagmaTagged FunctionLift s)

Methods

binaryOpK :: Proxy op (i -> a) -> Proxy MagmaE s -> MagmaTagged FunctionLift s -> MagmaTagged FunctionLift s -> MagmaTagged FunctionLift s

(Unbox v, MagmaK k op v s) => MagmaK k op (UVector n v) (MagmaTagged UVectorLift s)

Lifting addition and multiplication coordinatewise (Hadamard?)

Methods

binaryOpK :: Proxy op (UVector n v) -> Proxy MagmaE s -> MagmaTagged UVectorLift s -> MagmaTagged UVectorLift s -> MagmaTagged UVectorLift s

MagmaK k1 op v s => MagmaK k1 op (BVector k n v) (MagmaTagged BVectorLift s)

Lifting addition and multiplication coordinatewise (Hadamard?)

Methods

binaryOpK :: Proxy op (BVector k n v) -> Proxy MagmaE s -> MagmaTagged BVectorLift s -> MagmaTagged BVectorLift s -> MagmaTagged BVectorLift s

type Magma op a = MagmaK op a (MagmaS op a)

type family MagmaS (op :: k) (a :: Type) = (r :: MagmaE)

Instances

type MagmaS BinaryBoolean _ Bool

type MagmaS BinaryBoolean _ Bool = MagmaPrim

type MagmaS BinaryNumeric _ Rational

type MagmaS BinaryNumeric _ Rational = MagmaNum

type MagmaS BinaryNumeric _ Rational

type MagmaS BinaryNumeric _ Rational = MagmaNum

type MagmaS BinaryNumeric _ Double

type MagmaS BinaryNumeric _ Double = MagmaNum

type MagmaS BinaryNumeric _ Float

type MagmaS BinaryNumeric _ Float = MagmaNum

type MagmaS BinaryNumeric _ Integer

type MagmaS BinaryNumeric _ Integer = MagmaNum

type MagmaS BinaryNumeric _ Int

type MagmaS BinaryNumeric _ Int = MagmaNum

type MagmaS BinaryNumeric op (Complex a)

type MagmaS BinaryNumeric op (Complex a) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int64)

type MagmaS BinaryNumeric _ (Ratio Int64) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int64)

type MagmaS BinaryNumeric _ (Ratio Int64) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int32)

type MagmaS BinaryNumeric _ (Ratio Int32) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int32)

type MagmaS BinaryNumeric _ (Ratio Int32) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int16)

type MagmaS BinaryNumeric _ (Ratio Int16) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int16)

type MagmaS BinaryNumeric _ (Ratio Int16) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int8)

type MagmaS BinaryNumeric _ (Ratio Int8) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int8)

type MagmaS BinaryNumeric _ (Ratio Int8) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int8)

type MagmaS BinaryNumeric _ (Ratio Int8) = MagmaNum

type MagmaS BinaryNumeric _ (Ratio Int8)

type MagmaS BinaryNumeric _ (Ratio Int8) = MagmaNum

type MagmaS BinaryNumeric op (UVector n a)

type MagmaS BinaryNumeric op (UVector n a) = DeriveMagma_Tagged BinaryNumeric UVectorLift op a

type MagmaS BinaryNumeric op (BVector k n a)

type MagmaS BinaryNumeric op (BVector k n a) = DeriveMagma_Tagged BinaryNumeric BVectorLift op a