noether-0.0.1: Math in Haskell.

Safe HaskellNone
LanguageHaskell2010

Noether.Algebra.Single.Monoid

Documentation

data MonoidE Source #

Constructors

Monoid_Semigroup_Neutral SemigroupE NeutralE 
MonoidNamed Symbol MonoidE 

class MonoidK op a s Source #

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 MonoidC op a = MonoidK op a (MonoidS op a) 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 #