Data.Profunctor.Adjunction

Documentation

class (ProfunctorFunctor f, ProfunctorFunctor u) => ProfunctorAdjunction f u | f -> u, u -> f where

Methods

unit :: Profunctor p => p :-> u (f p)

counit :: Profunctor p => f (u p) :-> p

Instances

ProfunctorAdjunction Environment Closure

ProfunctorAdjunction Copastro Cotambara

ProfunctorAdjunction Pastro Tambara

ProfunctorAdjunction (Procompose p) (Rift p)