| 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
- class (ProfunctorFunctor f, ProfunctorFunctor u) => ProfunctorAdjunction f u | f -> u, u -> f where
- unit :: Profunctor p => p :-> u (f p)
- counit :: Profunctor p => f (u p) :-> p
Documentation
class (ProfunctorFunctor f, ProfunctorFunctor u) => ProfunctorAdjunction f u | f -> u, u -> f where Source #
Methods
unit :: Profunctor p => p :-> u (f p) Source #
counit :: Profunctor p => f (u p) :-> p Source #