lux/control/fold

Types

Fold

Iterate over a structure's values to build a summary value.

(sig: (Fold F)
  (: (All [b c] (-> (-> c b b) b (F c) b))
     fold))