Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type DeriveSemiring_Commutative_Monoid_Monoid p m a = Semiring_Commutative_Monoid_Monoid (CommutativeS p a) (MonoidS p a) (MonoidS m a) Source #
type DeriveRing_Semiring_Cancellative p m a = Ring_Semiring_Cancellative (SemiringS p m a) (CancellativeS p a) Source #
type DeriveRing_AbelianGroup_Group p m a = Ring_AbelianGroup_Group (AbelianGroupS p a) (GroupS m a) Source #
type family RingNamedT a where ... Source #
RingNamedT (Ring_AbelianGroup_Group ab grp) = Ring_AbelianGroup_Group (AbelianGroupNamed "Additive group" ab) (GroupNamed "Multiplicative group" grp) |
type DeriveRingDoc_AbelianGroup_Group p m a = RingNamedT (DeriveRing_AbelianGroup_Group p m a) Source #