From 53ccad935b368dbccadd6d64bedb9341f34415c3 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Mon, 10 Jun 2024 13:00:54 +0900 Subject: Rename from `id` to `unit` --- algebraic-structs.monoid.list.base.scm | 4 ++-- algebraic-structs.monoid.make.fold.scm | 4 ++-- algebraic-structs.monoid.make.scm | 4 ++-- algebraic-structs.monoid.number.product.base.scm | 4 ++-- 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)) -- cgit v1.2.3