| Safe Haskell | Safe-Inferred |
|---|
Data.Profunctor.Monad
Documentation
class ProfunctorMonad t whereSource
Methods
proreturn :: Profunctor p => p -/-> t pSource
projoin :: Profunctor p => t (t p) -/-> t pSource
Instances
| ProfunctorMonad Environment | |
| ProfunctorMonad Copastro | |
| ProfunctorMonad Pastro | |
| Monad f => ProfunctorMonad (Cayley f) | Cayley transforms Monads in |
| Category p => ProfunctorMonad (Procompose p) |
class ProfunctorComonad t whereSource
Methods
proextract :: Profunctor p => t p -/-> pSource
produplicate :: Profunctor p => t p -/-> t (t p)Source
Instances
| ProfunctorComonad Closure | |
| ProfunctorComonad Cotambara | |
| ProfunctorComonad Tambara | |
| Comonad f => ProfunctorComonad (Cayley f) | Cayley transforms Comonads in |
| Category p => ProfunctorComonad (Rift p) | |
| Category p => ProfunctorComonad (Ran p) |