Contents Index

Org.Org.Semantic.HBase.Mathematics.VectorSpace

Synopsis

class (HasZero n, HasZero v, Negatable v, Multiplicative n v v, Additive v v v, Subtractive v v v) => VectorSpace n v | v -> n class (Additive d p p, Subtractive d p p, Subtractive p p d, VectorSpace n d) => DiffVectorSpace n d p | p -> n, d -> n

Documentation

class (HasZero n, HasZero v, Negatable v, Multiplicative n v v, Additive v v v, Subtractive v v v) => VectorSpace n v | v -> n

v is a vector space scalable by n Instances (HasZero a, Additive a a a, Subtractive a a a, Negatable a, Multiplicative a a a, ExtractableFunctor t, FunctorApplyReturn t) => VectorSpace a (FunctorVector t a) VectorSpace Rational Rational VectorSpace Integer Integer VectorSpace a a => VectorSpace a (VectorWrapper t a)

class (Additive d p p, Subtractive d p p, Subtractive p p d, VectorSpace n d) => DiffVectorSpace n d p | p -> n, d -> n

p is a space with d as difference, scalable by n Instances VectorSpace n d => DiffVectorSpace n d d VectorSpace a a => DiffVectorSpace a (VectorWrapper t a) (PointWrapper t a)

Produced by Haddock version 0.6