A function that takes:

  • Binary function
  • Identity value
  • List of other values
  • Applies the binary function left associative

Type

>>> :t foldl 
foldl :: (b -> a -> b) -> b -> [b] -> b