Power basis
(Semiring r, Partitionable n) => FreeAlgebra r (:^ x n) | |
(Semiring r, Additive n) => FreeCoalgebra r (:^ x n) | |
(Semiring r, AdditiveMonoid r, Unital r, DecidableZero n, Partitionable n) => FreeUnitalAlgebra r (:^ x n) | |
(Semiring r, AdditiveMonoid n) => FreeCounitalCoalgebra r (:^ x n) | |
Functor (:^ x) | |
Foldable (:^ x) | |
Traversable (:^ x) | |
Foldable1 (:^ x) | |
Traversable1 (:^ x) | |
Eq n => Eq (:^ x n) | |
Ord n => Ord (:^ x n) | |
(Show t, Reifies x t, Show n) => Show (:^ x n) | |
HasTrie n => HasTrie (:^ x n) | |
Additive n => Multiplicative (:^ x n) | |
Partitionable n => Factorable (:^ x n) | |
AdditiveMonoid n => Unital (:^ x n) | |
DecidableZero n => DecidableUnits (:^ x n) | |
AdditiveGroup n => MultiplicativeGroup (:^ x n) |