Data.Magma

Documentation

class Magma a where

Methods

(<<) :: a -> a -> a infixl 6

Instances

Magma (Multiplicative Double)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Double -> Multiplicative Double -> Multiplicative Double

Magma (Multiplicative Float)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Float -> Multiplicative Float -> Multiplicative Float

(Multiplicative - Monoid) a => Magma (Multiplicative (Ratio a))

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative (Ratio a) -> Multiplicative (Ratio a) -> Multiplicative (Ratio a)

Magma (Multiplicative ())

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative () -> Multiplicative () -> Multiplicative ()

((Additive - Group) a, (Multiplicative - Group) a) => Magma (Multiplicative (Complex a))

Defined in Data.Semigroup.Additive

Methods

(<<) :: Multiplicative (Complex a) -> Multiplicative (Complex a) -> Multiplicative (Complex a)

Magma (Multiplicative Uni)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Uni -> Multiplicative Uni -> Multiplicative Uni

Magma (Multiplicative Deci)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Deci -> Multiplicative Deci -> Multiplicative Deci

Magma (Multiplicative Centi)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Centi -> Multiplicative Centi -> Multiplicative Centi

Magma (Multiplicative Milli)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Milli -> Multiplicative Milli -> Multiplicative Milli

Magma (Multiplicative Micro)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Micro -> Multiplicative Micro -> Multiplicative Micro

Magma (Multiplicative Nano)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Nano -> Multiplicative Nano -> Multiplicative Nano

Magma (Multiplicative Pico)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative Pico -> Multiplicative Pico -> Multiplicative Pico

Magma (Multiplicative CFloat)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative CFloat -> Multiplicative CFloat -> Multiplicative CFloat

Magma (Multiplicative CDouble)

Defined in Data.Semigroup.Multiplicative

Methods

(<<) :: Multiplicative CDouble -> Multiplicative CDouble -> Multiplicative CDouble

Magma (Additive Double)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Double -> Additive Double -> Additive Double

Magma (Additive Float)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Float -> Additive Float -> Additive Float

Magma (Additive Int)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Int -> Additive Int -> Additive Int

Magma (Additive Int8)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Int8 -> Additive Int8 -> Additive Int8

Magma (Additive Int16)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Int16 -> Additive Int16 -> Additive Int16

Magma (Additive Int32)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Int32 -> Additive Int32 -> Additive Int32

Magma (Additive Int64)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Int64 -> Additive Int64 -> Additive Int64

Magma (Additive Integer)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Integer -> Additive Integer -> Additive Integer

((Additive - Group) a, (Multiplicative - Monoid) a) => Magma (Additive (Ratio a))

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive (Ratio a) -> Additive (Ratio a) -> Additive (Ratio a)

Magma (Additive ())

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive () -> Additive () -> Additive ()

(Additive - Group) a => Magma (Additive (Complex a))

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive (Complex a) -> Additive (Complex a) -> Additive (Complex a)

Magma (Additive Uni)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Uni -> Additive Uni -> Additive Uni

Magma (Additive Deci)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Deci -> Additive Deci -> Additive Deci

Magma (Additive Centi)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Centi -> Additive Centi -> Additive Centi

Magma (Additive Milli)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Milli -> Additive Milli -> Additive Milli

Magma (Additive Micro)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Micro -> Additive Micro -> Additive Micro

Magma (Additive Nano)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Nano -> Additive Nano -> Additive Nano

Magma (Additive Pico)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive Pico -> Additive Pico -> Additive Pico

Magma (Additive CFloat)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive CFloat -> Additive CFloat -> Additive CFloat

Magma (Additive CDouble)

Defined in Data.Semigroup.Additive

Methods

(<<) :: Additive CDouble -> Additive CDouble -> Additive CDouble

(Additive - Group) a => Magma (Additive (VFour a))

Matrix subtraction.

>>> VFour (VFour 1 2 3) (VFour 4 5 6) (VFour 7 8 9) << VFour (VFour 7 8 9) (VFour 7 8 9) (VFour 7 8 9)
VFour (VFour (-6) (-6) (-6)) (VFour (-3) (-3) (-3)) (VFour 0 0 0)

Defined in Data.Semimodule.Basis

Methods

(<<) :: Additive (VFour a) -> Additive (VFour a) -> Additive (VFour a)

(Additive - Group) a => Magma (Additive (V4 a))

Matrix subtraction.

>>> V4 (V4 1 2 3) (V4 4 5 6) (V4 7 8 9) << V4 (V4 7 8 9) (V4 7 8 9) (V4 7 8 9)
V4 (V4 (-6) (-6) (-6)) (V4 (-3) (-3) (-3)) (V4 0 0 0)

Defined in Data.Semimodule.Basis

Methods

(<<) :: Additive (V4 a) -> Additive (V4 a) -> Additive (V4 a)

(Additive - Group) a => Magma (Additive (V3 a))

Matrix subtraction.

>>> V3 (V3 1 2 3) (V3 4 5 6) (V3 7 8 9) << V3 (V3 7 8 9) (V3 7 8 9) (V3 7 8 9)
V3 (V3 (-6) (-6) (-6)) (V3 (-3) (-3) (-3)) (V3 0 0 0)

Defined in Data.Semimodule.Basis

Methods

(<<) :: Additive (V3 a) -> Additive (V3 a) -> Additive (V3 a)

(Additive - Group) a => Magma (Additive (V2 a))

Matrix subtraction.

>>> m23 1 2 3 4 5 6 << m23 7 8 9 1 2 3 :: M23 Int
V2 (V3 (-6) (-6) (-6)) (V3 3 3 3)

Defined in Data.Semimodule.Basis

Methods

(<<) :: Additive (V2 a) -> Additive (V2 a) -> Additive (V2 a)

(Additive - Group) a => Magma (Additive (Cad a))

Matrix subtraction.

>>> Ned (Cad 1 2 3) (Cad 4 5 6) (Cad 7 8 9) << Ned (Cad 7 8 9) (Cad 7 8 9) (Cad 7 8 9)
Ned (Cad (-6) (-6) (-6)) (Cad (-3) (-3) (-3)) (Cad 0 0 0)

Defined in Data.Semimodule.Transform

Methods

(<<) :: Additive (Cad a) -> Additive (Cad a) -> Additive (Cad a)

(Additive - Group) a => Magma (Additive (Ned a))

Matrix subtraction.

>>> Cad (Ned 1 2 3) (Ned 4 5 6) (Ned 7 8 9) << Cad (Ned 7 8 9) (Ned 7 8 9) (Ned 7 8 9)
Cad (Ned (-6) (-6) (-6)) (Ned (-3) (-3) (-3)) (Ned 0 0 0)

Defined in Data.Semimodule.Transform

Methods

(<<) :: Additive (Ned a) -> Additive (Ned a) -> Additive (Ned a)

(Additive - Group) a => Magma (Additive (Quaternion a))

Defined in Data.Algebra.Quaternion

Methods

(<<) :: Additive (Quaternion a) -> Additive (Quaternion a) -> Additive (Quaternion a)

(Additive - Group) a => Magma (VFour a)

Vector subtraction.

>>> VFour 1 2 3 << VFour 4 5 6
VFour (-3) (-3) (-3)

Defined in Data.Semimodule.Basis

Methods

(<<) :: VFour a -> VFour a -> VFour a

(Additive - Group) a => Magma (V4 a)

Vector subtraction.

>>> V4 1 2 3 << V4 4 5 6
V4 (-3) (-3) (-3)

Defined in Data.Semimodule.Basis

Methods

(<<) :: V4 a -> V4 a -> V4 a

(Additive - Group) a => Magma (V3 a)

Vector subtraction.

>>> V3 1 2 3 << V3 4 5 6
V3 (-3) (-3) (-3)

Defined in Data.Semimodule.Basis

Methods

(<<) :: V3 a -> V3 a -> V3 a

(Additive - Group) a => Magma (V2 a)

Vector subtraction.

>>> V2 1 2 << V2 3 4
V2 (-2) (-2)

Defined in Data.Semimodule.Basis

Methods

(<<) :: V2 a -> V2 a -> V2 a

(Additive - Group) a => Magma (Cad a)

Vector subtraction.

>>> Cad 1 2 3 << Cad 4 5 6
Cad (-3) (-3) (-3)

Defined in Data.Semimodule.Transform

Methods

(<<) :: Cad a -> Cad a -> Cad a

(Additive - Group) a => Magma (Ned a)

Vector subtraction.

>>> Ned 1 2 3 << Ned 4 5 6
Ned (-3) (-3) (-3)

Defined in Data.Semimodule.Transform

Methods

(<<) :: Ned a -> Ned a -> Ned a

(Additive - Group) a => Magma (Quaternion a)

Defined in Data.Algebra.Quaternion

Methods

(<<) :: Quaternion a -> Quaternion a -> Quaternion a