Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype MonoidAsCategory a Source #
(Semigroup m, Monoid m) => Category (MonoidAsCategory m) Source # | |
Semigroup m => Semigroupoid (MonoidAsCategory m) Source # | |
type CategoryDstC' (MonoidAsCategory _) Source # | |
type CategorySrcC' (MonoidAsCategory _) Source # | |
type CategoryT (MonoidAsCategory a) Void Void Source # | |