Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class SemigroupK op a s Source #
(KnownSymbol sym, SemigroupK k k1 op a s) => SemigroupK k k1 op a (SemigroupNamed sym s) Source # | |
MagmaK k op a s => SemigroupK * k op a (Semigroup_Magma s) Source # | |
type SemigroupC op a = SemigroupK op a (SemigroupS op a) Source #
type family SemigroupS (op :: k) (a :: Type) = (r :: SemigroupE) Source #