Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data CategoryAsMonoid a Source #
IsSemigroupoid t p a a => Semigroup (CategoryAsMonoid t) Source # | |
(IsCategory t p a a, ExoIsCategory t p a a) => Monoid (CategoryAsMonoid t) Source # | |
Safe Haskell | None |
---|---|
Language | Haskell2010 |
data CategoryAsMonoid a Source #
IsSemigroupoid t p a a => Semigroup (CategoryAsMonoid t) Source # | |
(IsCategory t p a a, ExoIsCategory t p a a) => Monoid (CategoryAsMonoid t) Source # | |