| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Hom.Distributive
Contents
Description
homomorphisms between Distributive structure.
Synopsis
- class (EmbeddableMorphism h Dst, HomFibredOriented h, HomMultiplicative h, HomAdditive h) => HomDistributive h
- type IsoDistributive h = (FunctorialHomOriented h, Cayleyan2 h, HomDistributive h)
- isoFromOpOpDst :: Distributive a => IsoOp Dst (Op (Op a)) a
Distributive
class (EmbeddableMorphism h Dst, HomFibredOriented h, HomMultiplicative h, HomAdditive h) => HomDistributive h Source #
type family of homomorphisms between Distributive structures.
Instances
| HomDistributive h => HomDistributive (Path h) Source # | |
Defined in OAlg.Hom.Distributive | |
| (TransformableOp s, ForgetfulDst s, ForgetfulTyp s, Typeable s) => HomDistributive (HomOp s) Source # | |
Defined in OAlg.Hom.Distributive | |
| (TransformableOp s, ForgetfulDst s, ForgetfulTyp s, Typeable s) => HomDistributive (IdHom s) Source # | |
Defined in OAlg.Hom.Distributive | |
| (TransformableOp s, ForgetfulDst s, ForgetfulTyp s, Typeable s) => HomDistributive (IsoOp s) Source # | |
Defined in OAlg.Hom.Distributive | |
| HomDistributive h => HomDistributive (OpHom h) Source # | |
Defined in OAlg.Hom.Distributive | |
| (TransformableOp s, ForgetfulDst s, ForgetfulTyp s, Typeable s) => HomDistributive (IsoOpMap Matrix s) Source # | |
Defined in OAlg.Entity.Matrix.Definition | |
| (TransformableOp s, ForgetfulDst s, ForgetfulTyp s, Typeable s) => HomDistributive (OpMap Matrix s) Source # | |
Defined in OAlg.Entity.Matrix.Definition | |
type IsoDistributive h = (FunctorialHomOriented h, Cayleyan2 h, HomDistributive h) Source #
isomorphisms between Distributive structures.
Iso
isoFromOpOpDst :: Distributive a => IsoOp Dst (Op (Op a)) a Source #
the induced isomorphism of Distributive structures given by FromOpOp.