Moduleprofunctors-5.6.3Haskell2010

Data.Profunctor.Monad

3 classes

Packageprofunctors-5.6.3
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceMonad.hs

classclass ProfunctorFunctor (t :: (Type -> Type -> Type) -> k -> k1 -> Type) where

ProfunctorFunctor has a polymorphic kind since 5.6.

Methods

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

Laws:

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

Instances23ProfunctorFunctor, …

ProfunctorFunctor CopastroSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorFunctor CotambaraSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorFunctor PastroSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorFunctor TambaraSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorFunctor ClosureDefined in profunctors-5.6.3 · Data.Profunctor.Closed
ProfunctorFunctor EnvironmentDefined in profunctors-5.6.3 · Data.Profunctor.Closed
ProfunctorFunctor CofreeMappingDefined in profunctors-5.6.3 · Data.Profunctor.Mapping
ProfunctorFunctor FreeMappingDefined in profunctors-5.6.3 · Data.Profunctor.Mapping
ProfunctorFunctor CopastroDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorFunctor CotambaraDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorFunctor PastroDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorFunctor TambaraDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorFunctor CofreeTraversingDefined in profunctors-5.6.3 · Data.Profunctor.Traversing
ProfunctorFunctor FreeTraversingDefined in profunctors-5.6.3 · Data.Profunctor.Traversing
ProfunctorFunctor CoyonedaDefined in profunctors-5.6.3 · Data.Profunctor.Yoneda
ProfunctorFunctor YonedaDefined in profunctors-5.6.3 · Data.Profunctor.Yoneda
ProfunctorFunctor (Product p)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
ProfunctorFunctor (Sum p)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
Functor f => ProfunctorFunctor (Tannen f)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
Functor f => ProfunctorFunctor (Cayley f)Defined in profunctors-5.6.3 · Data.Profunctor.Cayley
ProfunctorFunctor (Procompose p)Defined in profunctors-5.6.3 · Data.Profunctor.Composition
ProfunctorFunctor (Rift p)Defined in profunctors-5.6.3 · Data.Profunctor.Composition
ProfunctorFunctor (Ran p)Defined in profunctors-5.6.3 · Data.Profunctor.Ran

classclass ProfunctorFunctor t => ProfunctorMonad (t :: (Type -> Type -> Type) -> Type -> Type -> Type) where

Laws:

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

Methods

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

Instances13ProfunctorMonad, …

ProfunctorMonad CopastroSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorMonad PastroSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorMonad EnvironmentDefined in profunctors-5.6.3 · Data.Profunctor.Closed
ProfunctorMonad FreeMappingDefined in profunctors-5.6.3 · Data.Profunctor.Mapping
ProfunctorMonad CopastroDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorMonad PastroDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorMonad FreeTraversingDefined in profunctors-5.6.3 · Data.Profunctor.Traversing
ProfunctorMonad CoyonedaDefined in profunctors-5.6.3 · Data.Profunctor.Yoneda
ProfunctorMonad YonedaDefined in profunctors-5.6.3 · Data.Profunctor.Yoneda
ProfunctorMonad (Sum p)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
Monad f => ProfunctorMonad (Tannen f)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
Category p => ProfunctorMonad (Procompose p)Defined in profunctors-5.6.3 · Data.Profunctor.Composition
(Functor f, Monad f) => ProfunctorMonad (Cayley f)Defined in profunctors-5.6.3 · Data.Profunctor.Cayley
Cayley transforms Monads in Hask into monads on Prof

classclass ProfunctorFunctor t => ProfunctorComonad (t :: (Type -> Type -> Type) -> Type -> Type -> Type) where

Laws:

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

Methods

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

Instances14ProfunctorComonad, …

ProfunctorComonad CotambaraSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorComonad TambaraSumDefined in profunctors-5.6.3 · Data.Profunctor.Choice
ProfunctorComonad ClosureDefined in profunctors-5.6.3 · Data.Profunctor.Closed
ProfunctorComonad CofreeMappingDefined in profunctors-5.6.3 · Data.Profunctor.Mapping
ProfunctorComonad CotambaraDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorComonad TambaraDefined in profunctors-5.6.3 · Data.Profunctor.Strong
ProfunctorComonad CofreeTraversingDefined in profunctors-5.6.3 · Data.Profunctor.Traversing
ProfunctorComonad CoyonedaDefined in profunctors-5.6.3 · Data.Profunctor.Yoneda
ProfunctorComonad YonedaDefined in profunctors-5.6.3 · Data.Profunctor.Yoneda
ProfunctorComonad (Product p)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
Comonad f => ProfunctorComonad (Tannen f)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
Comonad f => ProfunctorComonad (Cayley f)Defined in profunctors-5.6.3 · Data.Profunctor.Cayley
Cayley transforms Comonads in Hask into comonads on Prof
Category p => ProfunctorComonad (Rift p)Defined in profunctors-5.6.3 · Data.Profunctor.Composition
Category p => ProfunctorComonad (Ran p)Defined in profunctors-5.6.3 · Data.Profunctor.Ran