profunctors-4.4.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