| (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 # |