class
class (ProfunctorFunctor f, ProfunctorFunctor u) => ProfunctorAdjunction (f :: (Type -> Type -> Type) -> Type -> Type -> Type) (u :: (Type -> Type -> Type) -> Type -> Type -> Type) | f -> u, u -> f whereMethods
unit :: Profunctor p => p :-> u (f p)counit :: Profunctor p => f (u p) :-> p
Instances6ProfunctorAdjunction
ProfunctorAdjunction CopastroSum CotambaraSumDefined in profunctors-5.6.3 · Data.Profunctor.ChoiceProfunctorAdjunction PastroSum TambaraSumDefined in profunctors-5.6.3 · Data.Profunctor.ChoiceProfunctorAdjunction Environment ClosureDefined in profunctors-5.6.3 · Data.Profunctor.ClosedProfunctorAdjunction Copastro CotambaraDefined in profunctors-5.6.3 · Data.Profunctor.StrongProfunctorAdjunction Pastro TambaraDefined in profunctors-5.6.3 · Data.Profunctor.StrongProfunctorAdjunction (Procompose p) (Rift p)Defined in profunctors-5.6.3 · Data.Profunctor.Composition