blob: 3f957bb55d17ab334f36454c9cbe6b5d7f21ed79 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(.module:
[lux #*]
[//
[monoid (#+ Monoid)]])
(interface: #export (Fold F)
{#.doc "Iterate over a structure's values to build a summary value."}
(: (All [a b]
(-> (-> b a a) a (F b) a))
fold))
(def: #export (with-monoid monoid fold value)
(All [F a]
(-> (Monoid a) (Fold F) (F a) a))
(let [(^open "/\.") monoid]
(fold /\compose /\identity value)))
|