Data.Profunctor.Reflector

Documentation

class MStrong p => Reflector p where

Methods

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

Instances

Distributive f => Reflector (Star f)

Defined in Data.Profunctor.Reflector

Methods

reflected :: Applicative f0 => Star f a b -> Star f (f0 a) (f0 b)

Traversable f => Reflector (Costar f)

Defined in Data.Profunctor.Reflector

Methods

reflected :: Applicative f0 => Costar f a b -> Costar f (f0 a) (f0 b)

Reflector (Tagged :: Type -> Type -> Type)

Defined in Data.Profunctor.Reflector

Methods

reflected :: Applicative f => Tagged a b -> Tagged (f a) (f b)

Reflector ((->) :: Type -> Type -> Type)

Defined in Data.Profunctor.Reflector

Methods

reflected :: Applicative f => (a -> b) -> f a -> f b