| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Hom.Vectorial
Contents
Synopsis
- class (EmbeddableMorphism h (Vec k), HomAdditive h) => HomVectorial k h
Vectorial
class (EmbeddableMorphism h (Vec k), HomAdditive h) => HomVectorial k h Source #
type family of homomorphisms between Vectorial structures having the same associated 'Scalar.
Property Let h be a type instance of the class HomVectorial ka, b, v in h a b and x in k holds:
amap h (x ! v) == x ! amap h v
Instances
| HomVectorial k h => HomVectorial k (Path h) Source # | |
Defined in OAlg.Hom.Vectorial | |
| (ForgetfulVec k s, ForgetfulTyp (s k), Typeable s, Typeable k) => HomVectorial k (IdHom (s k)) Source # | |
Defined in OAlg.Hom.Vectorial | |
| (Semiring r, Commutative r) => HomVectorial r (HomSymbol r) Source # | |
Defined in OAlg.Entity.Matrix.Vector | |