Copyright | (c) Justus Sagemüller 2021 |
---|---|
License | GPL v3 |
Maintainer | (@) jsag $ hvl.no |
Stability | experimental |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Documentation
data ProductCatObj a b Source #
ProductCatObj a b |
Instances
(Monoid a, Monoid b) => Monoid (ProductCatObj a b) Source # | |
Defined in Data.CategoryObject.Product 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 (<>) :: 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 lfactorProj :: ProductCatObj a b -> LFactor (ProductCatObj a b) Source # rfactorProj :: ProductCatObj a b -> RFactor (ProductCatObj a b) Source # |
type family LFactor t where ... Source #
LFactor (ProductCatObj l r) = l | |
LFactor (a, b) = (LFactor a, LFactor b) |
type family RFactor t where ... Source #
RFactor (ProductCatObj l r) = r | |
RFactor (a, b) = (RFactor a, RFactor b) |
class IsProduct t where Source #
lfactorProj :: t -> LFactor t Source #
rfactorProj :: t -> RFactor t Source #
Instances
IsProduct (ProductCatObj a b) Source # | |
Defined in Data.CategoryObject.Product 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 lfactorProj :: (a, b) -> LFactor (a, b) Source # rfactorProj :: (a, b) -> RFactor (a, b) Source # |