blob: 168d743be4b1f4a57d9d349e202db18f6daa040b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(.module:
[library
[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)))
|