| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Noether.Algebra.Single.Semigroup
Documentation
data SemigroupE Source #
Constructors
| Semigroup_Magma MagmaE | |
| SemigroupNamed Symbol SemigroupE |
class SemigroupK op a s Source #
Instances
| (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 #
Instances