Data.VectorSpace.Tuples

Documentation

Orphan instances

((~) * (Groundfield a) (Groundfield b), InnerProductSpace a, InnerProductSpace b) => InnerProductSpace (a, b)

Methods

dot :: (a, b) -> (a, b) -> Groundfield (a, b)

((~) * (Groundfield a) (Groundfield b), VectorSpace a, VectorSpace b) => VectorSpace (a, b)

Methods

(^/) :: (a, b) -> Groundfield (a, b) -> (a, b)

((~) * (Groundring a) (Groundring b), RModule a, RModule b) => RModule (a, b)

Associated Types

type Groundring (a, b) :: *

Methods

zeroVector :: (a, b)

(*^) :: Groundring (a, b) -> (a, b) -> (a, b)

(^*) :: (a, b) -> Groundring (a, b) -> (a, b)

negateVector :: (a, b) -> (a, b)

(^+^) :: (a, b) -> (a, b) -> (a, b)

(^-^) :: (a, b) -> (a, b) -> (a, b)

Num a => InnerProductSpace (a, a, a)

Methods

dot :: (a, a, a) -> (a, a, a) -> Groundfield (a, a, a)

Fractional a => VectorSpace (a, a, a)

Methods

(^/) :: (a, a, a) -> Groundfield (a, a, a) -> (a, a, a)

Num a => RModule (a, a, a)

Associated Types

type Groundring (a, a, a) :: *

Methods

zeroVector :: (a, a, a)

(*^) :: Groundring (a, a, a) -> (a, a, a) -> (a, a, a)

(^*) :: (a, a, a) -> Groundring (a, a, a) -> (a, a, a)

negateVector :: (a, a, a) -> (a, a, a)

(^+^) :: (a, a, a) -> (a, a, a) -> (a, a, a)

(^-^) :: (a, a, a) -> (a, a, a) -> (a, a, a)

Num a => InnerProductSpace (a, a, a, a)

Methods

dot :: (a, a, a, a) -> (a, a, a, a) -> Groundfield (a, a, a, a)

Fractional a => VectorSpace (a, a, a, a)

Methods

(^/) :: (a, a, a, a) -> Groundfield (a, a, a, a) -> (a, a, a, a)

Num a => RModule (a, a, a, a)

Associated Types

type Groundring (a, a, a, a) :: *

Methods

zeroVector :: (a, a, a, a)

(*^) :: Groundring (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a)

(^*) :: (a, a, a, a) -> Groundring (a, a, a, a) -> (a, a, a, a)

negateVector :: (a, a, a, a) -> (a, a, a, a)

(^+^) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a)

(^-^) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a)

Num a => InnerProductSpace (a, a, a, a, a)

Methods

dot :: (a, a, a, a, a) -> (a, a, a, a, a) -> Groundfield (a, a, a, a, a)

Fractional a => VectorSpace (a, a, a, a, a)

Methods

(^/) :: (a, a, a, a, a) -> Groundfield (a, a, a, a, a) -> (a, a, a, a, a)

Num a => RModule (a, a, a, a, a)

Associated Types

type Groundring (a, a, a, a, a) :: *

Methods

zeroVector :: (a, a, a, a, a)

(*^) :: Groundring (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a)

(^*) :: (a, a, a, a, a) -> Groundring (a, a, a, a, a) -> (a, a, a, a, a)

negateVector :: (a, a, a, a, a) -> (a, a, a, a, a)

(^+^) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a)

(^-^) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a)