profunctors-5.0.0.1: Profunctors

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Profunctor.Monad

Documentation

class ProfunctorFunctor t => ProfunctorMonad t where Source

Methods

proreturn :: Profunctor p => p :-> t p Source

projoin :: Profunctor p => t (t p) :-> t p Source

Instances

ProfunctorMonad Environment 
ProfunctorMonad Copastro 
ProfunctorMonad Pastro 
(Functor f, Monad f) => ProfunctorMonad (Cayley f)

Cayley transforms Monads in Hask into monads on Prof

Category * p => ProfunctorMonad (Procompose p) 

class ProfunctorFunctor t => ProfunctorComonad t where Source

Methods

proextract :: Profunctor p => t p :-> p Source

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 Hask into comonads on Prof

Category * p => ProfunctorComonad (Rift p) 
Category * p => ProfunctorComonad (Ran p)