(Enum a, Bounded a, Eq a) => Enum (Down a) Source # | Swaps succ and pred of the underlying type. |
Instance details |
(Generic1 f, Eq (Rep1 f a)) => Eq (Generically1 f a) Source # | |
Instance details |
(Generic1 f, Ord (Rep1 f a)) => Ord (Generically1 f a) Source # | |
Instance details |
Functor ((,,,,) a b c d) Source # | |
Instance details Methods fmap :: (a0 -> b0) -> (a, b, c, d, a0) -> (a, b, c, d, b0) Source # (<$) :: a0 -> (a, b, c, d, b0) -> (a, b, c, d, a0) Source # |
Functor ((,,,,,) a b c d e) Source # | |
Instance details Methods fmap :: (a0 -> b0) -> (a, b, c, d, e, a0) -> (a, b, c, d, e, b0) Source # (<$) :: a0 -> (a, b, c, d, e, b0) -> (a, b, c, d, e, a0) Source # |
Bounded (f (g a)) => Bounded (Compose f g a) Source # | |
Instance details |
Enum (f (g a)) => Enum (Compose f g a) Source # | |
Instance details |
Num (f (g a)) => Num (Compose f g a) Source # | |
Instance details |
(Integral (f (g a)), Ord1 f, Ord1 g, Ord a) => Integral (Compose f g a) Source # | |
Instance details |
(Real (f (g a)), Ord1 f, Ord1 g, Ord a) => Real (Compose f g a) Source # | |
Instance details |
Functor ((,,,,,,) a b c d e f) Source # | |
Instance details Methods fmap :: (a0 -> b0) -> (a, b, c, d, e, f, a0) -> (a, b, c, d, e, f, b0) Source # (<$) :: a0 -> (a, b, c, d, e, f, b0) -> (a, b, c, d, e, f, a0) Source # |