
Org.Org.Semantic.HBase.Mathematics.FunctorVector 





Synopsis 

newtype FunctorVector t a = MkFunctorVector (t a)   unit1 :: (HasZero a, HasOne a, HasReturn t) => FunctorVector (NextList t) a   unit2 :: (HasZero a, HasOne a, HasReturn t) => FunctorVector (NextList (NextList t)) a   unit3 :: (HasZero a, HasOne a, HasReturn t) => FunctorVector (NextList (NextList (NextList t))) a   scaleVector :: (Multiplicative a b c, Functor t) => a > FunctorVector t b > FunctorVector t c   dotProduct :: (Multiplicative a b c, HasZero c, Additive c c c, ExtractableFunctor t, FunctorApply t) => FunctorVector t a > FunctorVector t b > c 


Documentation 

newtype FunctorVector t a 
a vector of a where t is a fixedlist type  Constructors   Instances  (Multiplicative a a c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q) => Multiplicative (FunctorMatrix p q a) (FunctorVector q a) (FunctorVector p c)  (Multiplicative a a c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q) => Multiplicative (FunctorMatrix p q a) (FunctorVector q a) (FunctorVector p c)  (HasZero a, HasReturn t, ExtractableFunctor t) => HasZero (FunctorVector t a)  (Additive a b c, FunctorApply t) => Additive (FunctorVector t a) (FunctorVector t b) (FunctorVector t c)  (Additive a b c, FunctorApply t) => Additive (FunctorVector t a) (FunctorVector t b) (FunctorVector t c)  (Additive a b c, FunctorApply t) => Additive (FunctorVector t a) (FunctorVector t b) (FunctorVector t c)  (Subtractive a b c, FunctorApply t) => Subtractive (FunctorVector t a) (FunctorVector t b) (FunctorVector t c)  (Subtractive a b c, FunctorApply t) => Subtractive (FunctorVector t a) (FunctorVector t b) (FunctorVector t c)  (Subtractive a b c, FunctorApply t) => Subtractive (FunctorVector t a) (FunctorVector t b) (FunctorVector t c)  (Multiplicative a a c, Functor t) => Multiplicative a (FunctorVector t a) (FunctorVector t c)  (Multiplicative a a c, Functor t) => Multiplicative a (FunctorVector t a) (FunctorVector t c)  (Negatable a, Functor t) => Negatable (FunctorVector t a)  (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) 



unit1 :: (HasZero a, HasOne a, HasReturn t) => FunctorVector (NextList t) a 

unit2 :: (HasZero a, HasOne a, HasReturn t) => FunctorVector (NextList (NextList t)) a 

unit3 :: (HasZero a, HasOne a, HasReturn t) => FunctorVector (NextList (NextList (NextList t))) a 

scaleVector :: (Multiplicative a b c, Functor t) => a > FunctorVector t b > FunctorVector t c 

dotProduct :: (Multiplicative a b c, HasZero c, Additive c c c, ExtractableFunctor t, FunctorApply t) => FunctorVector t a > FunctorVector t b > c 

Produced by Haddock version 0.6 