fold, foldMap, foldl, & foldr - #16

Open

robrix wants to merge 10 commits into

atzeus:masterfrom

Commits on May 12, 2018

Define a tfoldMap operation with a default definition.
robrix
committed
5a6aa63
Define tfoldMap for BinaryTree.
robrix
committed
06d9722
Define tfoldMap for SnocList.
robrix
committed
58f5177
Define tfoldMap for ToCatQueue.
robrix
committed
c5ede51
Define tfoldMap for Queue.
robrix
committed
40d9e6d
Define tfoldMap for FingerTree.
robrix
committed
7474dc5
Define a tfold operation à la Foldable.
robrix
committed
70216a8
Add a foldr method to TASequence.
robrix
committed
11fa498
Correct the type & definition of foldr & Endo for left-to-right, right-associated folds over sequences.
robrix
committed
d0dc00f
Define foldl for type-aligned sequences via a dual approach.
robrix
committed
4a35ba0