Safe Haskell | None |
---|---|
Language | Haskell2010 |
Noether.Algebra.Single.Monoid
Documentation
Constructors
Monoid_Semigroup_Neutral SemigroupE NeutralE | |
MonoidNamed Symbol MonoidE |
Instances
(KnownSymbol sym, MonoidK k k1 op a s) => MonoidK k k1 op a (MonoidNamed sym s) Source # | |
(SemigroupK * k op a zs, NeutralK k op a zn) => MonoidK * k op a (Monoid_Semigroup_Neutral zs zn) Source # | |
type family MonoidS (op :: k) (a :: Type) = (r :: MonoidE) Source #
Instances
type MonoidS BinaryNumeric op Rational Source # | |
type MonoidS BinaryNumeric op Rational Source # | |
type MonoidS BinaryNumeric op Double Source # | |
type MonoidS BinaryNumeric op Float Source # | |
type MonoidS BinaryNumeric op Integer Source # | |
type MonoidS BinaryNumeric op Int Source # | |
type MonoidS BinaryNumeric op (Complex a) Source # | |
type MonoidS BinaryNumeric op (Ratio Int64) Source # | |
type MonoidS BinaryNumeric op (Ratio Int64) Source # | |
type MonoidS BinaryNumeric op (Ratio Int32) Source # | |
type MonoidS BinaryNumeric op (Ratio Int32) Source # | |
type MonoidS BinaryNumeric op (Ratio Int16) Source # | |
type MonoidS BinaryNumeric op (Ratio Int16) Source # | |
type MonoidS BinaryNumeric op (Ratio Int8) Source # | |
type MonoidS BinaryNumeric op (Ratio Int8) Source # | |
type MonoidS BinaryNumeric op (Ratio Int8) Source # | |
type MonoidS BinaryNumeric op (Ratio Int8) Source # | |
type MonoidS BinaryNumeric op (UVector n a) Source # | |
type MonoidS BinaryNumeric op (BVector k n a) Source # | |