Commits on Oct 8, 2022

1. [ base ] Change how folds are defined for Data.Vect …

   * Adds dependent folds, where the type of the accumulator depends on the
     current length of the `Vect`.
   * Changes the `Foldable` instance for `Vect` to be expressed via the
     former.
   * Moves the tail-recursive version of `foldr` to a separate function,
     `foldrTR`.
   * As a sanity check, proves that `foldrTR` is equal to `foldr`.
   * Changes the definition of `sumR` in `Data.Vect.Properties.Foldr` to
     accept just `Vect`s, since other foldables might define `foldr`
     differently, and this function lives in a module with `Vect` in name
     anyway.

   

   0xd34df00d committed Oct 8, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for 23a9d6b
   • Browse repository at this point

   Copy the full SHA

   23a9d6b View commit details

   Browse the repository at this point in the history