Safe Haskell	None
Language	Haskell2010

Data.Profunctor.Joinable

Documentation

class Profunctor p => Joinable p m | p -> m where Source #

Methods

join' :: p a (m b) -> p a b Source #

Instances details

Monad m => Joinable (Star m) m Source #
Instance details Defined in Data.Profunctor.Joinable Methods join' :: Star m a (m b) -> Star m a b Source #
Monad m => Joinable (Forget (m r)) m Source #
Instance details Defined in Data.Profunctor.Joinable Methods join' :: Forget (m r) a (m b) -> Forget (m r) a b Source #