
Org.Org.Semantic.HBase.Mathematics.FunctorMatrix 





Synopsis 

newtype FunctorMatrix p q a = MkFunctorMatrix (p (q a))   transpose :: (ExtractableFunctor p, FunctorApplyReturn q) => FunctorMatrix p q a > FunctorMatrix q p a   fall :: ExtractableFunctor f => (a > Bool) > f a > Bool   scaleMatrix :: (Multiplicative a b c, Functor p, Functor q) => a > FunctorMatrix p q b > FunctorMatrix p q c   generalMultiplyMatrix :: (?multiply :: a > b > c, ?sum :: [c] > c, Functor p, FunctorApply q, ExtractableFunctor q, FunctorApplyReturn r) => FunctorMatrix p q a > FunctorMatrix q r b > FunctorMatrix p r c   multiplyMatrix :: (Multiplicative a b c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q, FunctorApplyReturn r) => FunctorMatrix p q a > FunctorMatrix q r b > FunctorMatrix p r c   generalMultiplyMatrixVector :: (?multiply :: a > b > c, ?sum :: [c] > c, Functor p, FunctorApply q, ExtractableFunctor q) => FunctorMatrix p q a > FunctorVector q b > FunctorVector p c   multiplyMatrixVector :: (Multiplicative a b c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q) => FunctorMatrix p q a > FunctorVector q b > FunctorVector p c 


Documentation 

newtype FunctorMatrix p q a 
a matrix of a where p and q is a fixedlist types  Constructors  MkFunctorMatrix (p (q a))  
 Instances  (HasZero a, HasReturn p, HasReturn q, ExtractableFunctor p, ExtractableFunctor q) => HasZero (FunctorMatrix p q a)  (HasZero a, HasOne a, ExtractableFunctor p, FunctorApply p, SameIndexSquare p) => HasOne (FunctorMatrix p p a)  (Additive a b c, FunctorApply p, FunctorApply q) => Additive (FunctorMatrix p q a) (FunctorMatrix p q b) (FunctorMatrix p q c)  (Additive a b c, FunctorApply p, FunctorApply q) => Additive (FunctorMatrix p q a) (FunctorMatrix p q b) (FunctorMatrix p q c)  (Additive a b c, FunctorApply p, FunctorApply q) => Additive (FunctorMatrix p q a) (FunctorMatrix p q b) (FunctorMatrix p q c)  (Subtractive a b c, FunctorApply p, FunctorApply q) => Subtractive (FunctorMatrix p q a) (FunctorMatrix p q b) (FunctorMatrix p q c)  (Subtractive a b c, FunctorApply p, FunctorApply q) => Subtractive (FunctorMatrix p q a) (FunctorMatrix p q b) (FunctorMatrix p q c)  (Subtractive a b c, FunctorApply p, FunctorApply q) => Subtractive (FunctorMatrix p q a) (FunctorMatrix p q b) (FunctorMatrix p q c)  (Multiplicative a a c, Functor p, Functor q) => Multiplicative a (FunctorMatrix p q a) (FunctorMatrix p q c)  (Multiplicative a a c, Functor p, Functor q) => Multiplicative a (FunctorMatrix p q a) (FunctorMatrix p q c)  (Multiplicative a a c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q, FunctorApplyReturn r) => Multiplicative (FunctorMatrix p q a) (FunctorMatrix q r a) (FunctorMatrix p r c)  (Multiplicative a a c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q, FunctorApplyReturn r) => Multiplicative (FunctorMatrix p q a) (FunctorMatrix q r a) (FunctorMatrix p r c)  (Multiplicative a a c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q, FunctorApplyReturn r) => Multiplicative (FunctorMatrix p q a) (FunctorMatrix q r a) (FunctorMatrix p r 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)  (Negatable a, Functor p, Functor q) => Negatable (FunctorMatrix p q a) 



transpose :: (ExtractableFunctor p, FunctorApplyReturn q) => FunctorMatrix p q a > FunctorMatrix q p a 

fall :: ExtractableFunctor f => (a > Bool) > f a > Bool 

scaleMatrix :: (Multiplicative a b c, Functor p, Functor q) => a > FunctorMatrix p q b > FunctorMatrix p q c 

generalMultiplyMatrix :: (?multiply :: a > b > c, ?sum :: [c] > c, Functor p, FunctorApply q, ExtractableFunctor q, FunctorApplyReturn r) => FunctorMatrix p q a > FunctorMatrix q r b > FunctorMatrix p r c 

multiplyMatrix :: (Multiplicative a b c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q, FunctorApplyReturn r) => FunctorMatrix p q a > FunctorMatrix q r b > FunctorMatrix p r c 

generalMultiplyMatrixVector :: (?multiply :: a > b > c, ?sum :: [c] > c, Functor p, FunctorApply q, ExtractableFunctor q) => FunctorMatrix p q a > FunctorVector q b > FunctorVector p c 

multiplyMatrixVector :: (Multiplicative a b c, HasZero c, Additive c c c, Functor p, FunctorApply q, ExtractableFunctor q) => FunctorMatrix p q a > FunctorVector q b > FunctorVector p c 

Produced by Haddock version 0.6 