Noether.Algebra.Multiple.Ring

Documentation

type family RingS (add :: ka) (mul :: km) (a :: Type) = (r :: RingE)

Instances

type RingS BinaryNumeric BinaryNumeric Add Mul Double

type RingS BinaryNumeric BinaryNumeric Add Mul Double = DeriveRingDoc_AbelianGroup_Group BinaryNumeric BinaryNumeric Add Mul Double

data RingE

Constructors

Ring_Semiring_Cancellative

Fields

• ring_semiring :: SemiringE
• ring_addition_cancellative :: CancellativeE

Ring_AbelianGroup_Group

Fields

• ring_additive_group :: AbelianGroupE
• ring_multiplicative_group :: GroupE

RingNamed Symbol RingE

class RingK add mul a s

Instances

(KnownSymbol sym, RingK k km ka p m a s) => RingK k km ka p m a (RingNamed sym s)

(AbelianGroupK k ka p a zpab, GroupK k km m a zmg) => RingK k km ka p m a (Ring_AbelianGroup_Group zpab zmg)

(SemiringK * km ka p m a zs, CancellativeK ka p a zpc) => RingK * km ka p m a (Ring_Semiring_Cancellative zs zpc)

type RingC p m a = RingK p m a (RingS p m a)