Data.Profunctor.Depending
class Traversing p => Depending p where Source #
Methods
depend :: (forall f. Monad f => (a -> f b) -> s -> f t) -> p a b -> p s t Source #
Defined in Data.Profunctor.Depending
depend :: (forall (f0 :: Type -> Type). Monad f0 => (a -> f0 b) -> s -> f0 t) -> Star f a b -> Star f s t Source #