diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-10 13:00:54 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-10 13:00:54 +0900 |
| commit | 53ccad935b368dbccadd6d64bedb9341f34415c3 (patch) | |
| tree | f8697032f435a5a615b04231f1337c8f978d41d1 | |
| parent | ab601b9f1fd150c249cf3e8aade6c904d49562d0 (diff) | |
Rename from `id` to `unit`
| -rw-r--r-- | algebraic-structs.monoid.list.base.scm | 4 | ||||
| -rw-r--r-- | algebraic-structs.monoid.make.fold.scm | 4 | ||||
| -rw-r--r-- | algebraic-structs.monoid.make.scm | 4 | ||||
| -rw-r--r-- | algebraic-structs.monoid.number.product.base.scm | 4 | ||||
| -rw-r--r-- | algebraic-structs.monoid.number.sum.base.scm | 4 |
5 files changed, 10 insertions, 10 deletions
diff --git a/algebraic-structs.monoid.list.base.scm b/algebraic-structs.monoid.list.base.scm index 76190f5..cdda71e 100644 --- a/algebraic-structs.monoid.list.base.scm +++ b/algebraic-structs.monoid.list.base.scm @@ -1,5 +1,5 @@ -(module (algebraic-structs monoid list base) (op id) +(module (algebraic-structs monoid list base) (op unit) (import scheme) (define op append) - (define id '())) + (define unit '())) diff --git a/algebraic-structs.monoid.make.fold.scm b/algebraic-structs.monoid.make.fold.scm index 995bae5..05a1754 100644 --- a/algebraic-structs.monoid.make.fold.scm +++ b/algebraic-structs.monoid.make.fold.scm @@ -1,4 +1,4 @@ -(functor ((algebraic-structs monoid make fold) (M (op id)) (F (foldl foldr))) (fold) +(functor ((algebraic-structs monoid make fold) (M (op unit)) (F (foldl foldr))) (fold) (import scheme M F) - (define (fold x) (foldl op id x))) + (define (fold x) (foldl op unit x))) diff --git a/algebraic-structs.monoid.make.scm b/algebraic-structs.monoid.make.scm index 89945d7..8b683a8 100644 --- a/algebraic-structs.monoid.make.scm +++ b/algebraic-structs.monoid.make.scm @@ -1,3 +1,3 @@ -(functor ((algebraic-structs monoid make) (F (op id))) - (op id) +(functor ((algebraic-structs monoid make) (F (op unit))) + (op unit) (import F)) diff --git a/algebraic-structs.monoid.number.product.base.scm b/algebraic-structs.monoid.number.product.base.scm index 34677c0..2790061 100644 --- a/algebraic-structs.monoid.number.product.base.scm +++ b/algebraic-structs.monoid.number.product.base.scm @@ -1,5 +1,5 @@ -(module (algebraic-structs monoid number product base) (op id) +(module (algebraic-structs monoid number product base) (op unit) (import scheme) (define op *) - (define id 1)) + (define unit 1)) diff --git a/algebraic-structs.monoid.number.sum.base.scm b/algebraic-structs.monoid.number.sum.base.scm index c38a9fc..1f75e7b 100644 --- a/algebraic-structs.monoid.number.sum.base.scm +++ b/algebraic-structs.monoid.number.sum.base.scm @@ -1,5 +1,5 @@ -(module (algebraic-structs monoid number sum base) (op id) +(module (algebraic-structs monoid number sum base) (op unit) (import scheme) (define op +) - (define id 0)) + (define unit 0)) |