Data.Bifunctor (original) (raw)
Since: base-4.8.0.0
Instance details
Defined in Data.Bifunctor
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Since: base-4.8.0.0
Instance details
Defined in Data.Bifunctor
Methods
bimap :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) Source #
first :: (a -> b) -> (a, c) -> (b, c) Source #
second :: (b -> c) -> (a, b) -> (a, c) Source #
Bifunctor (Const :: Type -> Type -> Type) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Bifunctor
Since: base-4.8.0.0
Instance details
Defined in Data.Bifunctor
Methods
bimap :: (a -> b) -> (c -> d) -> (x1, a, c) -> (x1, b, d) Source #
first :: (a -> b) -> (x1, a, c) -> (x1, b, c) Source #
second :: (b -> c) -> (x1, a, b) -> (x1, a, c) Source #
Bifunctor (K1 i :: Type -> Type -> Type) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Bifunctor
Bifunctor ((,,,) x1 x2) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Bifunctor
Methods
bimap :: (a -> b) -> (c -> d) -> (x1, x2, a, c) -> (x1, x2, b, d) Source #
first :: (a -> b) -> (x1, x2, a, c) -> (x1, x2, b, c) Source #
second :: (b -> c) -> (x1, x2, a, b) -> (x1, x2, a, c) Source #
Bifunctor ((,,,,) x1 x2 x3) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Bifunctor
Methods
bimap :: (a -> b) -> (c -> d) -> (x1, x2, x3, a, c) -> (x1, x2, x3, b, d) Source #
first :: (a -> b) -> (x1, x2, x3, a, c) -> (x1, x2, x3, b, c) Source #
second :: (b -> c) -> (x1, x2, x3, a, b) -> (x1, x2, x3, a, c) Source #
Bifunctor ((,,,,,) x1 x2 x3 x4) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Bifunctor
Methods
bimap :: (a -> b) -> (c -> d) -> (x1, x2, x3, x4, a, c) -> (x1, x2, x3, x4, b, d) Source #
first :: (a -> b) -> (x1, x2, x3, x4, a, c) -> (x1, x2, x3, x4, b, c) Source #
second :: (b -> c) -> (x1, x2, x3, x4, a, b) -> (x1, x2, x3, x4, a, c) Source #
Bifunctor ((,,,,,,) x1 x2 x3 x4 x5) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Bifunctor
Methods
bimap :: (a -> b) -> (c -> d) -> (x1, x2, x3, x4, x5, a, c) -> (x1, x2, x3, x4, x5, b, d) Source #
first :: (a -> b) -> (x1, x2, x3, x4, x5, a, c) -> (x1, x2, x3, x4, x5, b, c) Source #
second :: (b -> c) -> (x1, x2, x3, x4, x5, a, b) -> (x1, x2, x3, x4, x5, a, c) Source #