profunctors-5.1.1: Profunctors

Safe HaskellSafe
LanguageHaskell2010

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