Noether.Algebra.Multiple.Semiring

Documentation

type family SemiringS (add :: ka) (mul :: km) (a :: Type) = (r :: SemiringE)

Instances

type SemiringS BinaryNumeric BinaryNumeric Add Mul Double

type SemiringS BinaryNumeric BinaryNumeric Add Mul Double = DeriveSemiring_Commutative_Monoid_Monoid BinaryNumeric BinaryNumeric Add Mul Double

data SemiringE

Constructors

Semiring_Commutative_Monoid_Monoid

Fields

• semiring_commutative :: CommutativeE
• semiring_additive_monoid :: MonoidE
• semiring_multiplicative_monoid :: MonoidE

SemiringNamed Symbol SemiringE

class SemiringK add mul a s

Instances

(KnownSymbol sym, SemiringK k km ka p m a s) => SemiringK k km ka p m a (SemiringNamed sym s)

(MonoidK k ka p a zam, CommutativeK k ka p a zac, MonoidK k km m a zbm) => SemiringK k km ka p m a (Semiring_Commutative_Monoid_Monoid zac zam zbm)

type SemiringC p m a = (SemiringK $$> SemiringS) p m a