Data.VectorSpace.Specific

Vector space instances for concrete/specific types.

This module contains:

• RModule instances for Int, Integer, Double and Float.
• VectorSpace for Double and Float.

Documentation

Orphan instances

VectorSpace Double

Vector-space instance for Double.

Methods

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

VectorSpace Float

Vector-space instance for Floatings.

Methods

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

RModule Double

R-mobule instance for Doubles.

Associated Types

type Groundring Double :: *

Methods

zeroVector :: Double

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

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

negateVector :: Double -> Double

(^+^) :: Double -> Double -> Double

(^-^) :: Double -> Double -> Double

RModule Float

R-mobule instance for Floatings.

Associated Types

type Groundring Float :: *

Methods

zeroVector :: Float

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

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

negateVector :: Float -> Float

(^+^) :: Float -> Float -> Float

(^-^) :: Float -> Float -> Float

RModule Int

R-mobule instance for Ints.

Associated Types

type Groundring Int :: *

Methods

zeroVector :: Int

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

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

negateVector :: Int -> Int

(^+^) :: Int -> Int -> Int

(^-^) :: Int -> Int -> Int

RModule Integer

R-mobule instance for Integers.

Associated Types

type Groundring Integer :: *

Methods

zeroVector :: Integer

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

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

negateVector :: Integer -> Integer

(^+^) :: Integer -> Integer -> Integer

(^-^) :: Integer -> Integer -> Integer