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