Data.Profunctor.Phantom
class Profunctor p => Phantom p where Source #
Methods
phantom :: p a x -> p a y Source #
Defined in Data.Profunctor.Phantom
phantom :: Star f a x -> Star f a y Source #
phantom :: Forget r a x -> Forget r a y Source #
phantom :: Cayley f p a x -> Cayley f p a y Source #