| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Noether.Algebra.Actions.Strategies
- type DeriveActs_Tagged tag lr op a b = ActsTagged tag (ActsS lr op a b)
- type DeriveActs_Magma op a = Acts_Magma (MagmaS op a)
- type DeriveCompatible_Acts_Semigroup lr op act a b = Compatible_Acts_Semigroup a (ActsS lr act a b) (SemigroupS op a)
- type DeriveCompatible_Associativity lr op a = DeriveCompatible_Acts_Semigroup lr op op a a
- type DeriveActorLinearActs_Acts_Semigroup_Semigroup lr act ao a bo b = ActorLinear_Acts_Semigroup_Semigroup (ActsS lr act a b) (SemigroupS ao a) (SemigroupS bo b)
- type DeriveActeeLinearActs_Acts_Semigroup lr act a bo b = ActeeLinear_Acts_Semigroup (ActsS lr act a b) (SemigroupS bo b)
- type DeriveActorLinearActs_LeftDistributivity lr p m a = DeriveActorLinearActs_Acts_Semigroup_Semigroup lr m p a p a
- type DeriveActeeLinearActs_RightDistributivity lr p m a = DeriveActeeLinearActs_Acts_Semigroup lr m a p a
Documentation
type DeriveActs_Tagged tag lr op a b = ActsTagged tag (ActsS lr op a b) Source #
type DeriveActs_Magma op a = Acts_Magma (MagmaS op a) Source #
type DeriveCompatible_Acts_Semigroup lr op act a b = Compatible_Acts_Semigroup a (ActsS lr act a b) (SemigroupS op a) Source #
type DeriveCompatible_Associativity lr op a = DeriveCompatible_Acts_Semigroup lr op op a a Source #
a + (b + c) = (a + b) + c
type DeriveActorLinearActs_Acts_Semigroup_Semigroup lr act ao a bo b = ActorLinear_Acts_Semigroup_Semigroup (ActsS lr act a b) (SemigroupS ao a) (SemigroupS bo b) Source #
type DeriveActeeLinearActs_Acts_Semigroup lr act a bo b = ActeeLinear_Acts_Semigroup (ActsS lr act a b) (SemigroupS bo b) Source #
type DeriveActorLinearActs_LeftDistributivity lr p m a = DeriveActorLinearActs_Acts_Semigroup_Semigroup lr m p a p a Source #
(a + b) * c = a * c + b * c
type DeriveActeeLinearActs_RightDistributivity lr p m a = DeriveActeeLinearActs_Acts_Semigroup lr m a p a Source #
a * (b + c) = a * b + a * c