Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type DeriveLeftModule_Ring_AbelianGroup op p m r a v = LeftModule_Ring_AbelianGroup_Linear_Compatible (RingS p m r) (AbelianGroupS a v) (ActorLinearS L m p r a v) (ActeeLinearS L m r a v) (CompatibleS L op m r v) Source #
type DeriveLeftModule_Self p m r = DeriveLeftModule_Ring_AbelianGroup m p m r p r Source #
type DeriveRightModule_Ring_AbelianGroup op p m r a v = RightModule_Ring_AbelianGroup_Linear_Compatible (RingS p m r) (AbelianGroupS a v) (ActorLinearS R m p r a v) (ActeeLinearS R m r a v) (CompatibleS R op m r v) Source #
type DeriveRightModule_Self p m r = DeriveRightModule_Ring_AbelianGroup m p m r p r Source #