Data.Profunctor.Adjunction

Documentation

class f (-|) u | f -> u, u -> f where

Methods

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

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

Instances

Environment -| Closure

Copastro -| Cotambara

Pastro -| Tambara

(Procompose p) -| (Rift p)