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. If t is Foldable it means that for any value t a we know how to access all of the elements of a from "inside&qu...

Page 1 of 1