Safe Haskell	Safe
Language	Haskell2010

Data.VectorSpace.Tuples

Contents

Orphan instances

Description

Vector space instances for small tuples of Fractional.

This module contains RModule, VectorSpace and InnerProductSpace for tuples of up to five elements.

Synopsis

Documentation

Orphan instances

((~) * (Groundfield a) (Groundfield b), InnerProductSpace a, InnerProductSpace b) => InnerProductSpace (a, b) Source #	Inner Product Space instance for tuples.
Methods dot :: (a, b) -> (a, b) -> Groundfield (a, b) Source #
((~) * (Groundfield a) (Groundfield b), VectorSpace a, VectorSpace b) => VectorSpace (a, b) Source #	Vector-space instance for tuples.
Methods (^/) :: (a, b) -> Groundfield (a, b) -> (a, b) Source #
((~) * (Groundring a) (Groundring b), RModule a, RModule b) => RModule (a, b) Source #	R-module instance for tuples.
Associated Types type Groundring (a, b) :: * Source # Methods zeroVector :: (a, b) Source # (^) :: Groundring (a, b) -> (a, b) -> (a, b) Source # (^) :: (a, b) -> Groundring (a, b) -> (a, b) Source # negateVector :: (a, b) -> (a, b) Source # (^+^) :: (a, b) -> (a, b) -> (a, b) Source # (^-^) :: (a, b) -> (a, b) -> (a, b) Source #
Num a => InnerProductSpace (a, a, a) Source #	Inner Product Space instance for tuples with 3 elements.
Methods dot :: (a, a, a) -> (a, a, a) -> Groundfield (a, a, a) Source #
Fractional a => VectorSpace (a, a, a) Source #	Vector-space instance for tuples with 3 elements.
Methods (^/) :: (a, a, a) -> Groundfield (a, a, a) -> (a, a, a) Source #
Num a => RModule (a, a, a) Source #	R-module instance for tuples with 3 elements.
Associated Types type Groundring (a, a, a) :: * Source # Methods zeroVector :: (a, a, a) Source # (^) :: Groundring (a, a, a) -> (a, a, a) -> (a, a, a) Source # (^) :: (a, a, a) -> Groundring (a, a, a) -> (a, a, a) Source # negateVector :: (a, a, a) -> (a, a, a) Source # (^+^) :: (a, a, a) -> (a, a, a) -> (a, a, a) Source # (^-^) :: (a, a, a) -> (a, a, a) -> (a, a, a) Source #
Num a => InnerProductSpace (a, a, a, a) Source #	Inner Product Space instance for tuples with 4 elements.
Methods dot :: (a, a, a, a) -> (a, a, a, a) -> Groundfield (a, a, a, a) Source #
Fractional a => VectorSpace (a, a, a, a) Source #	Vector-space instance for tuples with 4 elements.
Methods (^/) :: (a, a, a, a) -> Groundfield (a, a, a, a) -> (a, a, a, a) Source #
Num a => RModule (a, a, a, a) Source #	R-module instance for tuples with 4 elements.
Associated Types type Groundring (a, a, a, a) :: * Source # Methods zeroVector :: (a, a, a, a) Source # (^) :: Groundring (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source # (^) :: (a, a, a, a) -> Groundring (a, a, a, a) -> (a, a, a, a) Source # negateVector :: (a, a, a, a) -> (a, a, a, a) Source # (^+^) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source # (^-^) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source #
Num a => InnerProductSpace (a, a, a, a, a) Source #	Inner Product Space instance for tuples with 5 elements.
Methods dot :: (a, a, a, a, a) -> (a, a, a, a, a) -> Groundfield (a, a, a, a, a) Source #
Fractional a => VectorSpace (a, a, a, a, a) Source #	Vector-space instance for tuples with 5 elements.
Methods (^/) :: (a, a, a, a, a) -> Groundfield (a, a, a, a, a) -> (a, a, a, a, a) Source #
Num a => RModule (a, a, a, a, a) Source #	R-module instance for tuples with 5 elements.
Associated Types type Groundring (a, a, a, a, a) :: * Source # Methods zeroVector :: (a, a, a, a, a) Source # (^) :: Groundring (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source # (^) :: (a, a, a, a, a) -> Groundring (a, a, a, a, a) -> (a, a, a, a, a) Source # negateVector :: (a, a, a, a, a) -> (a, a, a, a, a) Source # (^+^) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source # (^-^) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source #