Module naan::fold

Foldable

Traits

• Foldable
  Foldable represents data structures which can be collapsed by starting with an initial value B, then a function that accumulates As into B.
• FoldableIndexed
  Foldable for indexed collections
• FoldableOnce
  Foldable, but specialized to know at compile-time that the reducing function will only be called one time.
• FoldableOnceIndexed
  FoldableOnce for indexed data structures