diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-15 03:44:57 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-15 03:44:57 +0900 |
| commit | 9080b0a664ab36bf271fe042e3dc446727b18eff (patch) | |
| tree | b907c261cec4de6c2c6fe16f5af073d01efc846a | |
| parent | 959ead049e6f22438902399eb0925e8f60e0f3e0 (diff) | |
Add fold-map function
| -rw-r--r-- | algebraic-structures.monoid.fold.scm | 2 | ||||
| -rw-r--r-- | tests/run.scm | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/algebraic-structures.monoid.fold.scm b/algebraic-structures.monoid.fold.scm index 5e176f2..bb74e4a 100644 --- a/algebraic-structures.monoid.fold.scm +++ b/algebraic-structures.monoid.fold.scm @@ -1,4 +1,4 @@ -(functor ((algebraic-structures monoid fold) (M (<> unit)) (F (fold))) (fold) +(functor ((algebraic-structures monoid fold) (M (<> unit)) (F (fold))) (fold fold-map) (import scheme M (rename F (fold foldable:fold))) (define (fold x) (foldable:fold <> unit x)) diff --git a/tests/run.scm b/tests/run.scm index be0845b..4b2b885 100644 --- a/tests/run.scm +++ b/tests/run.scm @@ -144,7 +144,10 @@ (import (prefix (product monoid) product:)) (import (prefix (product fold) product:)) +(test 1 (product:fold '())) (test 120 (product:fold '(1 2 3 4 5))) +(test 1 (product:fold-map error '())) +(test 6 (product:fold-map length '((a a a) (a a) (a)))) (test-end "monoid.fold") |