diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/abstract/fold.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/abstract/fold.lux b/stdlib/source/library/lux/abstract/fold.lux index fca10ecb2..b2ce974da 100644 --- a/stdlib/source/library/lux/abstract/fold.lux +++ b/stdlib/source/library/lux/abstract/fold.lux @@ -4,13 +4,13 @@ [// [monoid (#+ Monoid)]]) -(interface: #export (Fold F) +(interface: .public (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) +(def: .public (with_monoid monoid fold value) {#.doc (doc "Fold over a foldable structure using the monoid's identity as the initial value.")} (All [F a] (-> (Monoid a) (Fold F) (F a) a)) |