Freelude.Impl.CategoryAsMonoid

Documentation

data CategoryAsMonoid a

Instances

IsSemigroupoid t p a a => Semigroup (CategoryAsMonoid t)

Methods

(<>) :: CategoryAsMonoid t -> CategoryAsMonoid t -> CategoryAsMonoid t

sconcat :: NonEmpty (CategoryAsMonoid t) -> CategoryAsMonoid t

stimes :: Integral b => b -> CategoryAsMonoid t -> CategoryAsMonoid t

(IsCategory t p a a, ExoIsCategory t p a a) => Monoid (CategoryAsMonoid t)

Methods

mempty :: CategoryAsMonoid t

mappend :: CategoryAsMonoid t -> CategoryAsMonoid t -> CategoryAsMonoid t

mconcat :: [CategoryAsMonoid t] -> CategoryAsMonoid t