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.

Exact lookup

1. IntervalMap :: FingerTree (IntInterval v) (Node v a) -> IntervalMap v a

   trifecta	Text.Trifecta.Util.IntervalMap

   No documentation available.

2. runIntervalMap :: IntervalMap v a -> FingerTree (IntInterval v) (Node v a)

   trifecta	Text.Trifecta.Util.IntervalMap

   No documentation available.

3. ffmap :: Functor (Flip t c) => (a -> b) -> t a c -> t b c

   type-flip	Data.Type.Flip

   No documentation available.

4. foldMap :: (Recursive (->) t (XNor a), Monoid m) => (a -> m) -> t -> m

   yaya	Yaya.Experimental.Foldable

   No documentation available.

5. dmap :: DFunctor d => (forall x . () => f x -> g x) -> d f -> d g

   yaya	Yaya.Functor

   No documentation available.

6. firstMap :: forall d (f :: Type -> Type -> Type) a b . (DFunctor d, Bifunctor f) => (a -> b) -> d (f a) -> d (f b)

   yaya	Yaya.Functor

   This isn’t a Functor instance because of the position of the a, but you can use it like: > newtype List a = List (Mu (XNor a)) > instance Functor List where > fmap f (List mu) = List (firstMap f mu)

7. hmap :: HFunctor h => (forall x . () => f x -> g x) -> h f a -> h g a

   yaya	Yaya.Functor

   No documentation available.

8. cocontramap :: forall t (f :: Type -> Type -> Type) b u a . (Projectable (->) t (f b), Corecursive (->) u (f a), Profunctor f) => (a -> b) -> t -> u

   yaya	Yaya.Zoo

   No documentation available.

9. comap :: forall t (f :: Type -> Type -> Type) a u b . (Projectable (->) t (f a), Corecursive (->) u (f b), Bifunctor f) => (a -> b) -> t -> u

   yaya	Yaya.Zoo

   A version of map that applies to Corecursive structures.

10. contramap :: forall t (f :: Type -> Type -> Type) b u a . (Recursive (->) t (f b), Steppable (->) u (f a), Profunctor f) => (a -> b) -> t -> u

    yaya	Yaya.Zoo

    A more general implementation of contramap, because it can also work to, from, or within monomorphic structures.

Page 623 of many | Previous | Next