profunctors-4.2.0.1: Profunctors

Safe HaskellSafe-Inferred

Data.Profunctor.Monad

Documentation

class ProfunctorFunctor t => 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 
(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 whereSource

Methods

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

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

Instances