Tutorial by Topics: foldable



Foldable is the class of types t :: * -> * which admit a folding operation. A fold aggregates the elements of a structure in a well-defined order, using a combining function.


Page 1 of 1