Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

  1. runCofreeMapping :: CofreeMapping (p :: Type -> Type -> Type) a b -> forall (f :: Type -> Type) . Functor f => p (f a) (f b)

    profunctors Data.Profunctor.Mapping

    No documentation available.

  2. traverseMapping :: (Mapping p, Functor f) => p a b -> p (f a) (f b)

    profunctors Data.Profunctor.Mapping

    No documentation available.

  3. wanderMapping :: Mapping p => (forall (f :: Type -> Type) . Applicative f => (a -> f b) -> s -> f t) -> p a b -> p s t

    profunctors Data.Profunctor.Mapping

    No documentation available.

  4. 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

  5. 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.

  6. 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.

  7. 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.

  8. 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

  9. 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

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

    profunctors Data.Profunctor.Types

    Map the second argument covariantly. 

    rmap ≡ dimap id

Page 432 of many | Previous | Next