Copyright	(C) 2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable, MPTCs, fundeps
Safe Haskell	Safe
Language	Haskell2010

Data.Profunctor.Adjunction

Description

Synopsis

Documentation

Laws:

unit . counit ≡ id
counit . unit ≡ id

Minimal complete definition

Methods

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

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

Instances

ProfunctorAdjunction Copastro Cotambara #
Methods unit :: Profunctor p => p :-> Cotambara (Copastro p) # counit :: Profunctor p => Copastro (Cotambara p) :-> p #
ProfunctorAdjunction Pastro Tambara #
Methods unit :: Profunctor p => p :-> Tambara (Pastro p) # counit :: Profunctor p => Pastro (Tambara p) :-> p #
ProfunctorAdjunction CopastroSum CotambaraSum #
Methods unit :: Profunctor p => p :-> CotambaraSum (CopastroSum p) # counit :: Profunctor p => CopastroSum (CotambaraSum p) :-> p #
ProfunctorAdjunction PastroSum TambaraSum #
Methods unit :: Profunctor p => p :-> TambaraSum (PastroSum p) # counit :: Profunctor p => PastroSum (TambaraSum p) :-> p #
ProfunctorAdjunction Environment Closure #
Methods unit :: Profunctor p => p :-> Closure (Environment p) # counit :: Profunctor p => Environment (Closure p) :-> p #
ProfunctorAdjunction (Procompose p) (Rift p) #
Methods unit :: Profunctor p => p :-> Rift p (Procompose p p) # counit :: Profunctor p => Procompose p (Rift p p) :-> p #