diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/abstract/fold.lux | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/stdlib/source/library/lux/abstract/fold.lux b/stdlib/source/library/lux/abstract/fold.lux deleted file mode 100644 index ba8a93381..000000000 --- a/stdlib/source/library/lux/abstract/fold.lux +++ /dev/null @@ -1,16 +0,0 @@ -(.module: - [library - [lux #*]] - [// - [monoid (#+ Monoid)]]) - -(interface: .public (Fold F) - (: (All [a b] - (-> (-> b a a) a (F b) a)) - fold)) - -(def: .public (with_monoid monoid fold value) - (All [F a] - (-> (Monoid a) (Fold F) (F a) a)) - (let [(^open "/\.") monoid] - (fold /\compose /\identity value))) |