Hoogle Search
Within LTS Haskell 24.21 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
Foldl'Sym0 (a1 :: TyFun b ~> a ~> b b ~> t a ~> b)singletons-base Data.List.Singletons No documentation available.
data
Foldl'Sym1 (a6989586621680407266 :: b ~> a ~> b) (b1 :: TyFun b t a ~> b)singletons-base Data.List.Singletons No documentation available.
data
Foldl'Sym2 (a6989586621680407266 :: b ~> a ~> b) (a6989586621680407267 :: b) (c :: TyFun t a b)singletons-base Data.List.Singletons No documentation available.
-
singletons-base Data.List.Singletons No documentation available.
bifoldl' :: Bifoldable t => (a -> b -> a) -> (a -> c -> a) -> a -> t b c -> abase Data.Bifoldable As bifoldl, but strict in the result of the reduction functions at each step. This ensures that each step of the bifold 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, monolithic result (e.g., bilength).
ifoldl' :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> blens Control.Lens.Combinators Fold over the elements of a structure with an index, associating to the left, but strictly. When you don't need access to the index then foldlOf' is more flexible in what it accepts.
foldl' l ≡ ifoldl' l . const
ifoldl' :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> blens Control.Lens.Indexed Fold over the elements of a structure with an index, associating to the left, but strictly. When you don't need access to the index then foldlOf' is more flexible in what it accepts.
foldl' l ≡ ifoldl' l . const
ifoldl' :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> bindexed-traversable Data.Foldable.WithIndex Fold over the elements of a structure with an index, associating to the left, but strictly. When you don't need access to the index then foldlOf' is more flexible in what it accepts.
foldl' l ≡ ifoldl' l . const
ifoldl' :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> boptics-core Optics.Indexed.Core Fold over the elements of a structure with an index, associating to the left, but strictly. When you don't need access to the index then foldlOf' is more flexible in what it accepts.
foldl' l ≡ ifoldl' l . const
ifoldl' :: FoldableWithIndex i f => (i -> b -> a -> b) -> b -> f a -> boptics-core Optics.IxFold Fold over the elements of a structure with an index, associating to the left, but strictly. When you don't need access to the index then foldlOf' is more flexible in what it accepts.
foldl' l ≡ ifoldl' l . const