Skip to main content

Dictionary.fold

foldinitfunction

Documentation​

Combines the values in the dictionary.

Arguments​

  • init: The initial value for the fold.
  • function: A binary function to apply to pairs of values.

Examples​

Find the length of the longest word in the dictionary.​

      import Standard.Examples

      example_fold = Examples.dictionary.fold 0 (l -> r -> l.max r.length)