Data.Profunctor.Adjunction

1 class

Packagererebase-1.21.2
Exports1
LanguageHaskell2010
LicenceMIT
SourceAdjunction.hs

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 where

Laws:

unit . counit ≡ id
counit . unit ≡ id

Methods

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.Choice
ProfunctorAdjunction PastroSum TambaraSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorAdjunction Environment ClosureDefined in profunctors-5.6.3 · Data.Profunctor.Closed
ProfunctorAdjunction Copastro CotambaraDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorAdjunction Pastro TambaraDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorAdjunction (Procompose p) (Rift p)Defined in profunctors-5.6.3 · Data.Profunctor.Composition