Data.VectorSpace.Instances

Documentation

Orphan instances

Num a => InnerProductSpace a

Methods

dot :: a -> a -> Groundfield a

Fractional a => VectorSpace a

Methods

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

Num a => RModule a

Associated Types

type Groundring a :: *

Methods

zeroVector :: a

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

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

negateVector :: a -> a

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

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