Safe Haskell	None
Language	Haskell2010

Data.Profunctor.Extras

Documentation

join' :: (Sieve p f, Strong p) => p a (p a b) -> p a (f b) Source #

join'' :: (Representable p, Strong p, Monad (Rep p)) => p a (p a b) -> p a b Source #

absorb :: (Representable p, m ~ Rep p, Monad m) => p a (m b) -> p a b Source #

newtype Dub p f a b Source #

Constructors

Dub (p (f a) (f b))

Instances details

(Profunctor p, Functor f) => Profunctor (Dub p f) Source #
Instance details Defined in Data.Profunctor.Extras Methods dimap :: (a -> b) -> (c -> d) -> Dub p f b c -> Dub p f a d # lmap :: (a -> b) -> Dub p f b c -> Dub p f a c # rmap :: (b -> c) -> Dub p f a b -> Dub p f a c # (#.) :: forall a b c q. Coercible c b => q b c -> Dub p f a b -> Dub p f a c # (.#) :: forall a b c q. Coercible b a => Dub p f b c -> q a b -> Dub p f a c #