Data.CategoryObject.Product

Documentation

data ProductCatObj a b

Constructors

ProductCatObj a b

Instances

(Monoid a, Monoid b) => Monoid (ProductCatObj a b)

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)

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)

Defined in Data.CategoryObject.Product

Methods

lfactorProj :: ProductCatObj a b -> LFactor (ProductCatObj a b)

rfactorProj :: ProductCatObj a b -> RFactor (ProductCatObj a b)

type family LFactor t where ...

Equations

LFactor (ProductCatObj l r) = l

LFactor (a, b) = (LFactor a, LFactor b)

type family RFactor t where ...

Equations

RFactor (ProductCatObj l r) = r

RFactor (a, b) = (RFactor a, RFactor b)

class IsProduct t where

Methods

lfactorProj :: t -> LFactor t

rfactorProj :: t -> RFactor t

Instances

IsProduct (ProductCatObj a b)

Defined in Data.CategoryObject.Product

Methods

lfactorProj :: ProductCatObj a b -> LFactor (ProductCatObj a b)

rfactorProj :: ProductCatObj a b -> RFactor (ProductCatObj a b)

(IsProduct a, IsProduct b) => IsProduct (a, b)

Defined in Data.CategoryObject.Product

Methods

lfactorProj :: (a, b) -> LFactor (a, b)

rfactorProj :: (a, b) -> RFactor (a, b)