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 | |
(Semiring r, Additive (Dual s), RightModule r s) => RightModule r (Dual s) | |
(Semiring r, Additive (Dual s), LeftModule r s) => LeftModule r (Dual s) | |
(Additive r, Commutative r, Rng r, InvolutiveSemiring r) => Quadrance r (Dual r) | |
Eq a => Eq (Dual a) | |
(Typeable (Dual a), Data a) => Data (Dual a) | |
Read a => Read (Dual a) | |
Show a => Show (Dual a) | |
(Additive (Dual r), Idempotent r) => Idempotent (Dual r) | |
(Additive (Dual r), Abelian r) => Abelian (Dual r) | |
(Additive (Dual r), Partitionable r) => Partitionable (Dual r) | |
Additive r => Additive (Dual r) | |
(LeftModule Natural (Dual r), RightModule Natural (Dual r), Monoidal r) => Monoidal (Dual r) | |
(Additive (Dual r), Abelian (Dual r), Multiplicative (Dual r), Commutative r, Rng r) => Semiring (Dual r) | |
(Commutative r, Rng r) => Multiplicative (Dual r) | |
(LeftModule Integer (Dual r), RightModule Integer (Dual r), Monoidal (Dual r), Group r) => Group (Dual r) | |
(Multiplicative (Dual r), Commutative r, Ring r) => Unital (Dual r) | |
(Unital (Dual r), Commutative r, InvolutiveSemiring r, DivisionRing r) => Division (Dual r) | |
(Semiring (Dual r), Unital (Dual r), Monoidal (Dual r), Commutative r, Ring r) => Rig (Dual r) | |
(Rig (Dual r), Rng (Dual r), Commutative r, Ring r) => Ring (Dual r) | |
(Multiplicative (Dual r), TriviallyInvolutive r, Rng r) => Commutative (Dual r) | |
(Semiring (Dual r), InvolutiveMultiplication (Dual r), Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual r) | |
(Multiplicative (Dual r), Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveMultiplication (Dual r) | |
Rig r => Distinguished (Dual r) | |
(Distinguished (Dual r), Rig r) => Infinitesimal (Dual r) | |
(Semiring (Dual r), Additive (Dual r), Commutative r, Rng r) => RightModule (Dual r) (Dual r) | |
(Semiring (Dual r), Additive (Dual r), Commutative r, Rng r) => LeftModule (Dual r) (Dual r) | |