vector-space-0.3: Vector & affine spaces, linear maps, and derivatives

Stabilityexperimental
Maintainerconal@conal.net
Safe HaskellNone

Data.Basis

Description

Basis of a vector space, as an associated type

Documentation

class VectorSpace v s => HasBasis v s whereSource

Associated Types

type Basis v :: *Source

Methods

basisValue :: Basis v -> vSource

decompose :: v -> [(s, Basis v)]Source

Instances

HasBasis Double Double 
HasBasis Float Float 
(HasBasis u s, HasBasis v s) => HasBasis (u, v) s 
(HasBasis u s, HasBasis v s, HasBasis w s) => HasBasis (u, v, w) s