Data.Profunctor.Expanding
class Profunctor p => Expanding p where Source #
Methods
expand :: Comonad w => p (w a) b -> p a (w b) Source #