| Copyright | (c) Justus Sagemüller 2021 |
|---|---|
| License | GPL v3 |
| Maintainer | (@) jsag $ hvl.no |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Data.CategoryObject.Product
Description
Documentation
data ProductCatObj a b Source #
Constructors
| ProductCatObj a b |
Instances
| (Monoid a, Monoid b) => Monoid (ProductCatObj a b) Source # | |
Defined in Data.CategoryObject.Product Methods mempty :: ProductCatObj a b # mappend :: ProductCatObj a b -> ProductCatObj a b -> ProductCatObj a b # mconcat :: [ProductCatObj a b] -> ProductCatObj a b # | |
| (Semigroup a, Semigroup b) => Semigroup (ProductCatObj a b) Source # | |
Defined in Data.CategoryObject.Product Methods (<>) :: ProductCatObj a b -> ProductCatObj a b -> ProductCatObj a b # sconcat :: NonEmpty (ProductCatObj a b) -> ProductCatObj a b # stimes :: Integral b0 => b0 -> ProductCatObj a b -> ProductCatObj a b # | |
| IsProduct (ProductCatObj a b) Source # | |
Defined in Data.CategoryObject.Product Methods lfactorProj :: ProductCatObj a b -> LFactor (ProductCatObj a b) Source # rfactorProj :: ProductCatObj a b -> RFactor (ProductCatObj a b) Source # | |
type family LFactor t where ... Source #
Equations
| LFactor (ProductCatObj l r) = l | |
| LFactor (a, b) = (LFactor a, LFactor b) |
type family RFactor t where ... Source #
Equations
| RFactor (ProductCatObj l r) = r | |
| RFactor (a, b) = (RFactor a, RFactor b) |
class IsProduct t where Source #
Instances
| IsProduct (ProductCatObj a b) Source # | |
Defined in Data.CategoryObject.Product Methods lfactorProj :: ProductCatObj a b -> LFactor (ProductCatObj a b) Source # rfactorProj :: ProductCatObj a b -> RFactor (ProductCatObj a b) Source # | |
| (IsProduct a, IsProduct b) => IsProduct (a, b) Source # | |
Defined in Data.CategoryObject.Product Methods lfactorProj :: (a, b) -> LFactor (a, b) Source # rfactorProj :: (a, b) -> RFactor (a, b) Source # | |