Data.Profunctor.Monad

Documentation

class ProfunctorFunctor t where

Minimal complete definition

promap

Methods

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

Laws:

promap f . promap g ≡ promap (f . g)
promap id ≡ id

Instances

ProfunctorFunctor Copastro

Defined in Data.Profunctor.Strong

Methods

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

ProfunctorFunctor Cotambara

Defined in Data.Profunctor.Strong

Methods

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

ProfunctorFunctor Pastro

Defined in Data.Profunctor.Strong

Methods

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

ProfunctorFunctor Tambara

Defined in Data.Profunctor.Strong

Methods

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

ProfunctorFunctor Environment

Defined in Data.Profunctor.Closed

Methods

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

ProfunctorFunctor Closure

Defined in Data.Profunctor.Closed

Methods

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

ProfunctorFunctor CopastroSum

Defined in Data.Profunctor.Choice

Methods

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

ProfunctorFunctor CotambaraSum

Defined in Data.Profunctor.Choice

Methods

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

ProfunctorFunctor PastroSum

Defined in Data.Profunctor.Choice

Methods

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

ProfunctorFunctor TambaraSum

Defined in Data.Profunctor.Choice

Methods

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

ProfunctorFunctor FreeTraversing

Defined in Data.Profunctor.Traversing

Methods

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

ProfunctorFunctor CofreeTraversing

Defined in Data.Profunctor.Traversing

Methods

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

ProfunctorFunctor FreeMapping

Defined in Data.Profunctor.Mapping

Methods

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

ProfunctorFunctor CofreeMapping

Defined in Data.Profunctor.Mapping

Methods

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

ProfunctorFunctor Coyoneda

Defined in Data.Profunctor.Yoneda

Methods

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

ProfunctorFunctor Yoneda

Defined in Data.Profunctor.Yoneda

Methods

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

ProfunctorFunctor (Rift p)

Defined in Data.Profunctor.Composition

Methods

promap :: Profunctor p0 => (p0 :-> q) -> Rift p p0 :-> Rift p q

ProfunctorFunctor (Procompose p)

Defined in Data.Profunctor.Composition

Methods

promap :: Profunctor p0 => (p0 :-> q) -> Procompose p p0 :-> Procompose p q

ProfunctorFunctor (Ran p)

Defined in Data.Profunctor.Ran

Methods

promap :: Profunctor p0 => (p0 :-> q) -> Ran p p0 :-> Ran p q

Functor f => ProfunctorFunctor (Cayley f)

Defined in Data.Profunctor.Cayley

Methods

promap :: Profunctor p => (p :-> q) -> Cayley f p :-> Cayley f q

ProfunctorFunctor (Sum p)

Defined in Data.Profunctor.Monad

Methods

promap :: Profunctor p0 => (p0 :-> q) -> Sum p p0 :-> Sum p q

ProfunctorFunctor (Product p)

Defined in Data.Profunctor.Monad

Methods

promap :: Profunctor p0 => (p0 :-> q) -> Product p p0 :-> Product p q

Functor f => ProfunctorFunctor (Tannen f :: (* -> * -> *) -> * -> * -> *)

Defined in Data.Profunctor.Monad

Methods

promap :: Profunctor p => (p :-> q) -> Tannen f p :-> Tannen f q

class ProfunctorFunctor t => ProfunctorMonad t where

Laws:

promap f . proreturn ≡ proreturn . f
projoin . proreturn ≡ id
projoin . promap proreturn ≡ id
projoin . projoin ≡ projoin . promap projoin

Minimal complete definition

proreturn, projoin

Methods

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

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

Instances

ProfunctorMonad Copastro

Defined in Data.Profunctor.Strong

Methods

proreturn :: Profunctor p => p :-> Copastro p

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

ProfunctorMonad Pastro

Defined in Data.Profunctor.Strong

Methods

proreturn :: Profunctor p => p :-> Pastro p

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

ProfunctorMonad Environment

Defined in Data.Profunctor.Closed

Methods

proreturn :: Profunctor p => p :-> Environment p

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

ProfunctorMonad CopastroSum

Defined in Data.Profunctor.Choice

Methods

proreturn :: Profunctor p => p :-> CopastroSum p

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

ProfunctorMonad PastroSum

Defined in Data.Profunctor.Choice

Methods

proreturn :: Profunctor p => p :-> PastroSum p

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

ProfunctorMonad FreeTraversing

Defined in Data.Profunctor.Traversing

Methods

proreturn :: Profunctor p => p :-> FreeTraversing p

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

ProfunctorMonad FreeMapping

Defined in Data.Profunctor.Mapping

Methods

proreturn :: Profunctor p => p :-> FreeMapping p

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

ProfunctorMonad Coyoneda

Defined in Data.Profunctor.Yoneda

Methods

proreturn :: Profunctor p => p :-> Coyoneda p

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

ProfunctorMonad Yoneda

Defined in Data.Profunctor.Yoneda

Methods

proreturn :: Profunctor p => p :-> Yoneda p

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

Category p => ProfunctorMonad (Procompose p)

Defined in Data.Profunctor.Composition

Methods

proreturn :: Profunctor p0 => p0 :-> Procompose p p0

projoin :: Profunctor p0 => Procompose p (Procompose p p0) :-> Procompose p p0

(Functor f, Monad f) => ProfunctorMonad (Cayley f)

Cayley transforms Monads in Hask into monads on Prof

Defined in Data.Profunctor.Cayley

Methods

proreturn :: Profunctor p => p :-> Cayley f p

projoin :: Profunctor p => Cayley f (Cayley f p) :-> Cayley f p

ProfunctorMonad (Sum p)

Defined in Data.Profunctor.Monad

Methods

proreturn :: Profunctor p0 => p0 :-> Sum p p0

projoin :: Profunctor p0 => Sum p (Sum p p0) :-> Sum p p0

Monad f => ProfunctorMonad (Tannen f :: (* -> * -> *) -> * -> * -> *)

Defined in Data.Profunctor.Monad

Methods

proreturn :: Profunctor p => p :-> Tannen f p

projoin :: Profunctor p => Tannen f (Tannen f p) :-> Tannen f p

class ProfunctorFunctor t => ProfunctorComonad t where

Laws:

proextract . promap f ≡ f . proextract
proextract . produplicate ≡ id
promap proextract . produplicate ≡ id
produplicate . produplicate ≡ promap produplicate . produplicate

Minimal complete definition

proextract, produplicate

Methods

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

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

Instances

ProfunctorComonad Cotambara

Defined in Data.Profunctor.Strong

Methods

proextract :: Profunctor p => Cotambara p :-> p

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

ProfunctorComonad Tambara

Defined in Data.Profunctor.Strong

Methods

proextract :: Profunctor p => Tambara p :-> p

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

ProfunctorComonad Closure

Defined in Data.Profunctor.Closed

Methods

proextract :: Profunctor p => Closure p :-> p

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

ProfunctorComonad CotambaraSum

Defined in Data.Profunctor.Choice

Methods

proextract :: Profunctor p => CotambaraSum p :-> p

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

ProfunctorComonad TambaraSum

Defined in Data.Profunctor.Choice

Methods

proextract :: Profunctor p => TambaraSum p :-> p

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

ProfunctorComonad CofreeTraversing

Defined in Data.Profunctor.Traversing

Methods

proextract :: Profunctor p => CofreeTraversing p :-> p

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

ProfunctorComonad CofreeMapping

Defined in Data.Profunctor.Mapping

Methods

proextract :: Profunctor p => CofreeMapping p :-> p

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

ProfunctorComonad Coyoneda

Defined in Data.Profunctor.Yoneda

Methods

proextract :: Profunctor p => Coyoneda p :-> p

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

ProfunctorComonad Yoneda

Defined in Data.Profunctor.Yoneda

Methods

proextract :: Profunctor p => Yoneda p :-> p

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

Category p => ProfunctorComonad (Rift p)

Defined in Data.Profunctor.Composition

Methods

proextract :: Profunctor p0 => Rift p p0 :-> p0

produplicate :: Profunctor p0 => Rift p p0 :-> Rift p (Rift p p0)

Category p => ProfunctorComonad (Ran p)

Defined in Data.Profunctor.Ran

Methods

proextract :: Profunctor p0 => Ran p p0 :-> p0

produplicate :: Profunctor p0 => Ran p p0 :-> Ran p (Ran p p0)

Comonad f => ProfunctorComonad (Cayley f)

Cayley transforms Comonads in Hask into comonads on Prof

Defined in Data.Profunctor.Cayley

Methods

proextract :: Profunctor p => Cayley f p :-> p

produplicate :: Profunctor p => Cayley f p :-> Cayley f (Cayley f p)

ProfunctorComonad (Product p)

Defined in Data.Profunctor.Monad

Methods

proextract :: Profunctor p0 => Product p p0 :-> p0

produplicate :: Profunctor p0 => Product p p0 :-> Product p (Product p p0)

Comonad f => ProfunctorComonad (Tannen f :: (* -> * -> *) -> * -> * -> *)

Defined in Data.Profunctor.Monad

Methods

proextract :: Profunctor p => Tannen f p :-> p

produplicate :: Profunctor p => Tannen f p :-> Tannen f (Tannen f p)