profunctors-5.1.1: Profunctors

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Profunctor.Adjunction

Documentation

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

Methods

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

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

Instances