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