profunctors-5.3: Profunctors

Copyright(C) 2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable, MPTCs, fundeps
Safe HaskellSafe
LanguageHaskell2010

Data.Profunctor.Adjunction

Description

 
Synopsis

Documentation

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

Laws:

unit . counitid
counit . unitid

Minimal complete definition

unit, counit

Methods

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

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