Hoogle Search

Within LTS Haskell 23.24 (ghc-9.8.4)

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' :: FoldableLL full item => (a -> item -> a) -> a -> full -> a

   ListLike	Data.ListLike

   Strict version of foldl.

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

   ListLike	Data.ListLike.FoldableLL

   Strict version of foldl.

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

   prelude-compat	Data.List2010

   No documentation available.

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 :: b ~> a ~> b) (arg1 :: b) (arg2 :: t a) :: b

   singletons-base	Data.List.Singletons

   No documentation available.

8. data Foldl'Sym0 (a1 :: TyFun b ~> a ~> b b ~> t a ~> b)

   singletons-base	Data.List.Singletons

   No documentation available.

9. data Foldl'Sym1 (a6989586621680392323 :: b ~> a ~> b) (b1 :: TyFun b t a ~> b)

   singletons-base	Data.List.Singletons

   No documentation available.

10. data Foldl'Sym2 (a6989586621680392323 :: b ~> a ~> b) (a6989586621680392324 :: b) (c :: TyFun t a b)

    singletons-base	Data.List.Singletons

    No documentation available.

Page 1 of 2 | Next