Data.Profunctor.Expansive
class Expansive p where Source #
Methods
expand :: Foldable f => p a b -> p (f a) b Source #
Defined in Data.Profunctor.Expansive
expand :: Foldable f0 => Star f a b -> Star f (f0 a) b Source #
expand :: Foldable f => Forget r a b -> Forget r (f a) b Source #
expand :: Foldable f => Tagged a b -> Tagged (f a) b Source #
expand :: Foldable f0 => Cayley f p a b -> Cayley f p (f0 a) b Source #