Data.Profunctor.Monad

Documentation

class ProfunctorFunctor t where

Methods

promap :: Profunctor p => (p :-> q) -> t p :-> t q

Instances

ProfunctorFunctor Environment

ProfunctorFunctor Closure

ProfunctorFunctor Copastro

ProfunctorFunctor Cotambara

ProfunctorFunctor Pastro

ProfunctorFunctor Tambara

Functor f => ProfunctorFunctor (Cayley f)

ProfunctorFunctor (Rift p)

ProfunctorFunctor (Procompose p)

ProfunctorFunctor (Ran p)

class ProfunctorFunctor t => ProfunctorMonad t where

Methods

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

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

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

Methods

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

produplicate :: Profunctor p => t p :-> t (t p)

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)