Monad Dual | |
Functor Dual | |
Typeable1 Dual | |
Applicative Dual | |
Foldable Dual | |
Traversable Dual | |
Distributive Dual | |
Keyed Dual | |
Zip Dual | |
ZipWithKey Dual | |
Indexable Dual | |
Lookup Dual | |
Adjustable Dual | |
FoldableWithKey Dual | |
FoldableWithKey1 Dual | |
TraversableWithKey Dual | |
TraversableWithKey1 Dual | |
Representable Dual | |
Traversable1 Dual | |
Foldable1 Dual | |
Apply Dual | |
Bind Dual | |
MonadReader DualBasis Dual | |
RightModule r s => RightModule r (Dual s) | |
LeftModule r s => LeftModule r (Dual s) | |
(Commutative r, Rng r, InvolutiveSemiring r) => Quadrance r (Dual r) | |
Eq a => Eq (Dual a) | |
Data a => Data (Dual a) | |
Read a => Read (Dual a) | |
Show a => Show (Dual a) | |
Idempotent r => Idempotent (Dual r) | |
Abelian r => Abelian (Dual r) | |
Partitionable r => Partitionable (Dual r) | |
Additive r => Additive (Dual r) | |
Monoidal r => Monoidal (Dual r) | |
(Commutative r, Rng r) => Semiring (Dual r) | |
(Commutative r, Rng r) => Multiplicative (Dual r) | |
Group r => Group (Dual r) | |
(Commutative r, Ring r) => Unital (Dual r) | |
(Commutative r, InvolutiveSemiring r, DivisionRing r) => Division (Dual r) | |
(Commutative r, Ring r) => Rig (Dual r) | |
(Commutative r, Ring r) => Ring (Dual r) | |
(TriviallyInvolutive r, Rng r) => Commutative (Dual r) | |
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual r) | |
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveMultiplication (Dual r) | |
Rig r => Distinguished (Dual r) | |
Rig r => Infinitesimal (Dual r) | |
(Commutative r, Rng r) => RightModule (Dual r) (Dual r) | |
(Commutative r, Rng r) => LeftModule (Dual r) (Dual r) | |