Hoogle Search

Within LTS Haskell 22.24 (ghc-9.6.5)

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

Exact lookup

1. foldl' :: Foldable t => (b -> a -> b) -> b -> t a -> b

   base	Data.List

   Left-associative fold of a structure but with strict application of the operator. This ensures that each step of the fold is forced to Weak Head Normal Form before being applied, avoiding the collection of thunks that would otherwise occur. This is often what you want to strictly reduce a finite structure to a single strict result (e.g. sum). For a general Foldable structure this should be semantically identical to,

   foldl' f z = foldl' f z . toList
   

2. foldl' :: (a -> b -> a) -> a -> [b] -> a

   prelude-compat	Data.List2010

   No documentation available.

3. foldl' :: FoldableLL full item => (a -> item -> a) -> a -> full -> a

   ListLike	Data.ListLike

   Strict version of foldl.

4. foldl' :: FoldableLL full item => (a -> item -> a) -> a -> full -> a

   ListLike	Data.ListLike.FoldableLL

   Strict version of foldl.

5. foldl' :: (b % 1 -> a % 1 -> b) -> b % 1 -> [a] % 1 -> b

   linear-base	Data.List.Linear

   No documentation available.

6. foldl' :: Foldable t => (b -> a -> b) -> b -> t a -> b

   listsafe	Data.List.Safe

   Left-associative fold of a structure but with strict application of the operator. This ensures that each step of the fold is forced to Weak Head Normal Form before being applied, avoiding the collection of thunks that would otherwise occur. This is often what you want to strictly reduce a finite structure to a single strict result (e.g. sum). For a general Foldable structure this should be semantically identical to,

   foldl' f z = foldl' f z . toList
   

7. type family Foldl' (arg_a5TYq :: (~>) b_a5TPd ((~>) a_a5TPe b_a5TPd)) (arg_a5TYr :: b_a5TPd) (arg_a5TYs :: t_a5TP3 a_a5TPe) :: b_a5TPd

   singletons-base	Data.List.Singletons

   No documentation available.

8. data Foldl'Sym0

   singletons-base	Data.List.Singletons

   No documentation available.

9. data Foldl'Sym1 (a6989586621680416602 :: (~>) b_a5TPd ((~>) a_a5TPe b_a5TPd))

   singletons-base	Data.List.Singletons

   No documentation available.

10. data Foldl'Sym2 (a6989586621680416602 :: (~>) b_a5TPd ((~>) a_a5TPe b_a5TPd)) (a6989586621680416603 :: b_a5TPd)

    singletons-base	Data.List.Singletons

    No documentation available.

Page 1 of 2 | Next