Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

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

    profunctors Data.Profunctor

    Map the second argument covariantly. 

    rmap ≡ dimap id

  2. newtype CofreeMapping (p :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Mapping

    No documentation available.

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

    profunctors Data.Profunctor.Mapping

    No documentation available.

  4. data FreeMapping (p :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Mapping 

    FreeMapping -| CofreeMapping

  5. FreeMapping :: forall (f :: Type -> Type) y b (p :: Type -> Type -> Type) x a . Functor f => (f y -> b) -> p x y -> (a -> f x) -> FreeMapping p a b

    profunctors Data.Profunctor.Mapping

    No documentation available.

  6. closedMapping :: Mapping p => p a b -> p (x -> a) (x -> b)

    profunctors Data.Profunctor.Mapping

    No documentation available.

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

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

    profunctors Data.Profunctor.Mapping

    No documentation available.

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

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

Page 432 of many | Previous | Next