Data.VectorSpace.Fractional

VectorSpace instances for Num/Fractional types.

This module includes instances for:

• InnerProductSpace and RModule for Num
• VectorSpace for Fractionals

Documentation

Orphan instances

Num a => InnerProductSpace a

Inner-product instance for any number.

Methods

dot :: a -> a -> Groundfield a

Fractional a => VectorSpace a

Vector-space instance for any fractional, where vectorial division is normal number division.

Methods

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

Num a => RModule a

R-module instance for any number, where '^+^ is + and multiplication is normal multiplication.

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