Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. promap :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) . (ProfunctorFunctor t, Profunctor p) => (p :-> q) -> t p :-> t q

   profunctors	Data.Profunctor.Monad

   Laws:

   promap f . promap g ≡ promap (f . g)
   promap id ≡ id
   

2. dimapWandering :: Traversing p => (a' -> a) -> (b -> b') -> p a b -> p a' b'

   profunctors	Data.Profunctor.Traversing

   A definition of dimap for Traversing instances that define an explicit wander.

3. lmapWandering :: Traversing p => (a -> b) -> p b c -> p a c

   profunctors	Data.Profunctor.Traversing

   lmapWandering may be a more efficient implementation of lmap than the default produced from dimapWandering.

4. rmapWandering :: Traversing p => (b -> c) -> p a b -> p a c

   profunctors	Data.Profunctor.Traversing

   rmapWandering is the same as the default produced from dimapWandering.

5. dimap :: Profunctor p => (a -> b) -> (c -> d) -> p b c -> p a d

   profunctors	Data.Profunctor.Types

   Map over both arguments at the same time.

   dimap f g ≡ lmap f . rmap g
   

6. lmap :: Profunctor p => (a -> b) -> p b c -> p a c

   profunctors	Data.Profunctor.Types

   Map the first argument contravariantly.

   lmap f ≡ dimap f id
   

7. rmap :: Profunctor p => (b -> c) -> p a b -> p a c

   profunctors	Data.Profunctor.Types

   Map the second argument covariantly.

   rmap ≡ dimap id
   

8. dimap :: Profunctor p => (a -> b) -> (c -> d) -> p b c -> p a d

   profunctors	Data.Profunctor.Unsafe

   Map over both arguments at the same time.

   dimap f g ≡ lmap f . rmap g
   

9. lmap :: Profunctor p => (a -> b) -> p b c -> p a c

   profunctors	Data.Profunctor.Unsafe

   Map the first argument contravariantly.

   lmap f ≡ dimap f id
   

10. rmap :: Profunctor p => (b -> c) -> p a b -> p a c

    profunctors	Data.Profunctor.Unsafe

    Map the second argument covariantly.

    rmap ≡ dimap id
    

Page 432 of many | Previous | Next