profunctors-4.2.0.1: Profunctors

Safe HaskellSafe-Inferred

Data.Profunctor.Adjunction

Documentation

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

Methods

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

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

Instances