|
| 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 fixed-list 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 |
