Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

  1. concatMapT :: (a -> [[b]]) -> [[a]] -> [[b]]

    extrapolate Test.Extrapolate

    concatMap over tiers 

    concatMapT f [ [x0, y0, z0]
, [x1, y1, z1]
, [x2, y2, z2]
, ...
]
=  f x0 \/ f y0 \/ f z0 \/ ...
\/ delay (f x1 \/ f y1 \/ f z1 \/ ...
\/ delay (f x2 \/ f y2 \/ f z2 \/ ...
\/ (delay ...)))
    (cf. concatT)

  2. concatMapT :: (a -> [[b]]) -> [[a]] -> [[b]]

    extrapolate Test.Extrapolate.Core

    concatMap over tiers 

    concatMapT f [ [x0, y0, z0]
, [x1, y1, z1]
, [x2, y2, z2]
, ...
]
=  f x0 \/ f y0 \/ f z0 \/ ...
\/ delay (f x1 \/ f y1 \/ f z1 \/ ...
\/ delay (f x2 \/ f y2 \/ f z2 \/ ...
\/ (delay ...)))
    (cf. concatT)

  3. nubMergeMap :: Ord b => (a -> [b]) -> [a] -> [b]

    extrapolate Test.Extrapolate.Utils

    No documentation available.

  4. functionMap :: (b -> a) -> (a -> b) -> (a :-> c) -> b :-> c

    falsify Test.Falsify.Generator

    The basic building block for Function instances Provides a Function instance by mapping to and from a type that already has a Function instance.

  5. propertiesToMap :: [Property] -> Int -> [Bool]

    fitspec Test.FitSpec.Engine

    No documentation available.

  6. foldMap :: (HVector v, ArityC c (Elems v), Monoid m) => Proxy c -> (forall a . c a => a -> m) -> v -> m

    fixed-vector-hetero Data.Vector.HFixed

    Monoidal fold over heterogeneuous vector 

    >>> foldMap (Proxy @Show) show (12,'c',"str")
"12'c'\"str\""

  7. foldMapF :: (HVectorF v, ArityC c (ElemsF v), Monoid m) => Proxy c -> (forall a . c a => f a -> m) -> v f -> m

    fixed-vector-hetero Data.Vector.HFixed

    Monoidal fold over heterogeneous vector 

    >>> foldMapF (Proxy @Show) show (mk2F (Just 1) Nothing :: HVecF '[Int,Char] Maybe)
"Just 1Nothing"

  8. foldMapNatF :: (HVectorF v, Monoid m) => (forall a . () => f a -> m) -> v f -> m

    fixed-vector-hetero Data.Vector.HFixed

    Monoidal fold over heterogeneous vector 

    >>> foldMapNatF (Sum . getConst) (mk2F (Const 1) (Const 2) :: HVecF '[Char,String] (Const Int))
Sum {getSum = 3}

  9. foldMapA :: (Foldable t, Applicative f, Monoid m) => (a -> f m) -> t a -> f m

    fmlist Data.FMList

    Map each element of a structure to an action, evaluate these actions from left to right, and concat the monoid results.

  10. data NameMap (n :: S) a

    free-foil Control.Monad.Foil

    A total map from names in scope n to elements of type a.

Page 1151 of many | Previous | Next