Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

  1. rmapping :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) s t a b x y . (Profunctor p, Profunctor q) => AnIso s t a b -> Iso (p x s) (q y t) (p x a) (q y b)

    diagrams-lib Diagrams.Prelude

    Lift an Iso covariantly into the right argument of a Profunctor.

    rmapping :: Profunctor p => Iso s t a b -> Iso (p x s) (p y t) (p x a) (p y b)
    rmapping :: Profunctor p => Iso' s a -> Iso' (p x s) (p x a)
    

  2. concatMap :: Foldable t => (a -> [b]) -> t a -> [b]

    Cabal-syntax Distribution.Compat.Prelude

    No documentation available.

  3. fmap :: Functor f => (a -> b) -> f a -> f b

    Cabal-syntax Distribution.Compat.Prelude

    No documentation available.

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

    Cabal-syntax Distribution.Compat.Prelude

    No documentation available.

  5. gmappend :: (Generic a, GSemigroup (Rep a)) => a -> a -> a

    Cabal-syntax Distribution.Compat.Prelude

    Generically generate a Semigroup (<>) operation for any type implementing Generic. This operation will append two values by point-wise appending their component fields. It is only defined for product types.

    gmappend a (gmappend b c) = gmappend (gmappend a b) c
    

  6. foldMap :: (Monad m, Monoid w) => (a -> w) -> Stream (Of a) m r -> m (Of w r)

    streaming Streaming.Prelude

    Map each element of the stream to a monoid, and take the monoidal sum of the results.

    >>> S.foldMap Sum $ S.take 2 (S.stdinLn)
    1<Enter>
    2<Enter>
    3<Enter>
    Sum {getSum = 6} :> ()
    

  7. foldMap_ :: (Monad m, Monoid w) => (a -> w) -> Stream (Of a) m r -> m w

    streaming Streaming.Prelude

    No documentation available.

  8. type family ConcatMap (a1 :: a ~> [b]) (a2 :: t a) :: [b]

    singletons-base Prelude.Singletons

    No documentation available.

  9. data ConcatMapSym0 (a1 :: TyFun a ~> [b] t a ~> [b])

    singletons-base Prelude.Singletons

    No documentation available.

  10. data ConcatMapSym1 (a6989586621680406912 :: a ~> [b]) (b1 :: TyFun t a [b])

    singletons-base Prelude.Singletons

    No documentation available.

Page 23 of many | Previous | Next