Monad Pair Source # | |
|
Functor Pair Source # | |
|
Applicative Pair Source # | |
|
Foldable Pair Source # | |
|
Traversable Pair Source # | |
|
Distributive Pair Source # | |
|
Representable Pair Source # | |
|
Eq1 Pair Source # | |
|
Show1 Pair Source # | |
|
Traversable1 Pair Source # | |
|
Apply Pair Source # | |
|
Foldable1 Pair Source # | |
|
Eq a => Eq (Pair a) Source # | |
|
(Eq a, Ord a, Signed a, Additive a) => Ord (Pair a) Source # | L1-based Ord instance |
|
Show a => Show (Pair a) Source # | |
|
Generic (Pair a) Source # | |
|
Monoid a => Monoid (Pair a) Source # | |
|
Arbitrary a => Arbitrary (Pair a) Source # | |
|
NFData a => NFData (Pair a) Source # | |
|
Integral a => Integral (Pair a) Source # | |
|
Signed a => Signed (Pair a) Source # | |
|
Epsilon a => Epsilon (Pair a) Source # | |
|
Field a => Field (Pair a) Source # | |
|
ExpField a => ExpField (Pair a) Source # | |
|
BoundedField a => BoundedField (Pair a) Source # | |
|
(AdditiveGroup a, Semiring a) => Semiring (Pair a) Source # | |
|
Ring a => Ring (Pair a) Source # | |
|
CRing a => CRing (Pair a) Source # | |
|
(AdditiveGroup a, Distribution a) => Distribution (Pair a) Source # | |
|
MultiplicativeMagma a => MultiplicativeMagma (Pair a) Source # | |
|
MultiplicativeUnital a => MultiplicativeUnital (Pair a) Source # | |
|
MultiplicativeMagma a => MultiplicativeAssociative (Pair a) Source # | |
|
MultiplicativeMagma a => MultiplicativeCommutative (Pair a) Source # | |
|
MultiplicativeInvertible a => MultiplicativeInvertible (Pair a) Source # | |
|
MultiplicativeUnital a => Multiplicative (Pair a) Source # | |
|
(MultiplicativeUnital a, MultiplicativeInvertible a) => MultiplicativeGroup (Pair a) Source # | |
|
AdditiveMagma a => AdditiveMagma (Pair a) Source # | |
|
AdditiveUnital a => AdditiveUnital (Pair a) Source # | |
|
AdditiveMagma a => AdditiveAssociative (Pair a) Source # | |
|
AdditiveMagma a => AdditiveCommutative (Pair a) Source # | |
|
AdditiveInvertible a => AdditiveInvertible (Pair a) Source # | |
|
AdditiveUnital a => Additive (Pair a) Source # | |
|
(AdditiveUnital a, AdditiveInvertible a) => AdditiveGroup (Pair a) Source # | |
|
(ExpField a, AdditiveGroup a, MultiplicativeUnital a) => Normed (Pair a) a Source # | |
|
ExpField a => Metric (Pair a) a Source # | |
|
AdditiveGroup a => Normed (Rect a) (Pair a) # | |
|
type Rep Pair Source # | |
|
type Rep (Pair a) Source # | |
|