BiInvariant Either Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant Arg Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant These Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (,) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (a, b) -> (a', b') Source # |
Monad m => BiInvariant (Kleisli m) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Const :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Bifunctor bi => BiInvariant (Biap bi) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (CopastroSum p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (CotambaraSum p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (PastroSum p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Profunctor p => BiInvariant (TambaraSum p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Profunctor p => BiInvariant (Closure p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Environment p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Profunctor p => BiInvariant (CofreeMapping p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (FreeMapping p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Copastro p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Cotambara p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Pastro p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Profunctor p => BiInvariant (Tambara p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Profunctor p => BiInvariant (CofreeTraversing p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (FreeTraversing p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Coyoneda p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Yoneda p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Tagged :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant ((,,) x1) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, a, b) -> (x1, a', b') Source # |
BiInvariant (K1 i :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> K1 i a b -> K1 i a' b' Source # |
Functor w => BiInvariant (Cokleisli w) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Functor f => BiInvariant (Costar f) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant (Forget r :: Type -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant ((,,,) x1 x2) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, x2, a, b) -> (x1, x2, a', b') Source # |
BiInvariant (->) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (a -> b) -> a' -> b' Source # |
Bifunctor p => BiInvariant (Flip p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Bifunctor p => BiInvariant (WrappedBifunctor p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Profunctor p => BiInvariant (Codensity p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
Arrow p => BiInvariant (WrappedArrow p) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
BiInvariant ((,,,,) x1 x2 x3) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, x2, x3, a, b) -> (x1, x2, x3, a', b') Source # |
BiInvariant ((,,,,,) x1 x2 x3 x4) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, x2, x3, x4, a, b) -> (x1, x2, x3, x4, a', b') Source # |
(Functor f, Profunctor q) => BiInvariant (Tannen f q) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
(Functor f, Profunctor q) => BiInvariant (Cayley f q) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
(Profunctor p, Profunctor q) => BiInvariant (Procompose p q) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
(Profunctor p, Profunctor q) => BiInvariant (Rift p q) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant |
(Profunctor p, Profunctor q) => BiInvariant (Ran p q) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Ran p q a b -> Ran p q a' b' Source # |
BiInvariant ((,,,,,,) x1 x2 x3 x4 x5) Source # | |
Instance detailsDefined in Data.Bifunctor.BiInvariant Methods biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, x2, x3, x4, x5, a, b) -> (x1, x2, x3, x4, x5, a', b') Source # |