Safe Haskell	None
Language	Haskell2010

Data.Profunctor.Reflector

Documentation

Methods

reflected :: Applicative f => p a b -> p (f a) (f b) Source #

Instances details

Distributive f => Reflector (Star f) Source #
Instance details Defined in Data.Profunctor.Reflector Methods reflected :: Applicative f0 => Star f a b -> Star f (f0 a) (f0 b) Source #
Traversable f => Reflector (Costar f) Source #
Instance details Defined in Data.Profunctor.Reflector Methods reflected :: Applicative f0 => Costar f a b -> Costar f (f0 a) (f0 b) Source #
Reflector (Tagged :: Type -> Type -> Type) Source #
Instance details Defined in Data.Profunctor.Reflector Methods reflected :: Applicative f => Tagged a b -> Tagged (f a) (f b) Source #
Reflector ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Data.Profunctor.Reflector Methods reflected :: Applicative f => (a -> b) -> f a -> f b Source #