Data.Profunctor.Joinable

Documentation

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

Methods

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

Instances

Monad m => Joinable (Star m) m

Defined in Data.Profunctor.Joinable

Methods

join' :: Star m a (m b) -> Star m a b

Monad m => Joinable (Forget (m r)) m

Defined in Data.Profunctor.Joinable

Methods

join' :: Forget (m r) a (m b) -> Forget (m r) a b