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.

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

    profunctors Data.Profunctor

    Map the first argument contravariantly. 

    lmap f ≡ dimap f id

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

    profunctors Data.Profunctor

    Map the second argument covariantly. 

    rmap ≡ dimap id

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

    profunctors Data.Profunctor.Mapping

    No documentation available.

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

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

    profunctors Data.Profunctor.Mapping 

    FreeMapping -| CofreeMapping

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

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

    profunctors Data.Profunctor.Mapping

    No documentation available.

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

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

    profunctors Data.Profunctor.Mapping

    No documentation available.

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

Page 431 of many | Previous | Next