Eq1 Par1 Source # | |
|
Ord1 Par1 Source # | |
|
Semigroup p => Semigroup (Par1 p) Source # | |
|
Monoid p => Monoid (Par1 p) Source # | |
|
Eq1 (V1 *) Source # | |
|
Eq1 (U1 *) Source # | |
|
Ord1 (V1 *) Source # | |
|
Ord1 (U1 *) Source # | |
|
Semigroup (V1 * p) Source # | |
|
Semigroup (U1 * p) Source # | |
|
Monoid (U1 * p) Source # | |
|
Eq1 f => Eq1 (Rec1 * f) Source # | |
|
Ord1 f => Ord1 (Rec1 * f) Source # | |
|
Monoid c => Applicative (K1 * i c) Source # | |
|
Semigroup (f p) => Semigroup (Rec1 * f p) Source # | |
|
Monoid (f p) => Monoid (Rec1 * f p) Source # | |
|
Eq c => Eq1 (K1 * i c) Source # | |
|
(Eq1 f, Eq1 g) => Eq1 ((:+:) * f g) Source # | |
|
(Eq1 f, Eq1 g) => Eq1 ((:*:) * f g) Source # | |
|
Ord c => Ord1 (K1 * i c) Source # | |
|
(Ord1 f, Ord1 g) => Ord1 ((:+:) * f g) Source # | |
|
(Ord1 f, Ord1 g) => Ord1 ((:*:) * f g) Source # | |
|
Semigroup c => Semigroup (K1 * i c p) Source # | |
|
(Semigroup (f p), Semigroup (g p)) => Semigroup ((:*:) * f g p) Source # | |
|
Monoid c => Monoid (K1 * i c p) Source # | |
|
(Monoid (f p), Monoid (g p)) => Monoid ((:*:) * f g p) Source # | |
|
Eq1 f => Eq1 (M1 * i c f) Source # | |
|
(Eq1 f, Eq1 g) => Eq1 ((:.:) * * f g) Source # | |
|
Ord1 f => Ord1 (M1 * i c f) Source # | |
|
(Ord1 f, Ord1 g) => Ord1 ((:.:) * * f g) Source # | |
|
Semigroup (f p) => Semigroup (M1 * i c f p) Source # | |
|
Semigroup (f (g p)) => Semigroup ((:.:) * * f g p) Source # | |
|
Monoid (f p) => Monoid (M1 * i c f p) Source # | |
|
Monoid (f (g p)) => Monoid ((:.:) * * f g p) Source # | |
|